graphs-lean

A partial implementation of graph theory concepts in Lean, for our Discrete Mathematics group work at FGV EMAp

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
Graphs		Graphs
.gitignore		.gitignore
Graphs.lean		Graphs.lean
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
lake-manifest.json		lake-manifest.json
lakefile.lean		lakefile.lean
lean-toolchain		lean-toolchain

Provide feedback