Leonardo de Moura 19b24e3e82 chore: update stage0		2021-03-20 18:53:41 -07:00
..
.gitignore
Git.lean
LeanVersion.lean
Manifest.lean	chore: update stage0	2021-03-20 18:53:41 -07:00
Proc.lean	chore: update stage0	2021-01-19 19:06:01 +01:00
Resolve.lean	chore: update stage0	2021-01-19 19:06:01 +01:00
Toml.lean