GraphDimension

The shared Lean library for the Erdős–Harary–Tutte graph-dimension ladder (Math ADR 0004). Design: ../../docs/design/graph-dimension-library.md. Rules: AGENTS.md.

Name		Name	Last commit message	Last commit date
GraphDimension		GraphDimension
scripts		scripts
.gitignore		.gitignore
AGENTS.md		AGENTS.md
GraphDimension.lean		GraphDimension.lean
LICENSE		LICENSE
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain

Navigation Menu

Repository navigation

About

Repository files navigation

GraphDimension

About

Releases

Packages

Contributors

Languages

Latest commit

History

Folders and files

Repository files navigation

GraphDimension

About

Topics

Resources

Stars

Watchers

Forks

Releases

Packages

Contributors

Languages