repos
/
temple.lean4.git
summary
|
refs
|
master
|
code
|
commits
Temple
2025-08-19
.gitignore
2024-03-24
2 L
Temple.lean
2024-03-24
4 L
lake-manifest.json
2025-08-19
36 L
lakefile.toml
2025-08-19
22 L
lean-toolchain
2025-08-19
28 B