index
:
lean-brooks
this commit
main
Lean 4 formalization of Brooks theorem
Gitolite user
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lean-toolchain
blob: 8259911869e3317bcff77f946010eb1ee1d5753f (
plain
)
1
leanprover/lean4:v4.18.0