repos
/
temple.lean4.git
summary
|
refs
|
master
|
code
|
commits
temple.lean4.git
/
Temple
DeBruijn.lean
2024-03-27
97 L
DeBruijnEval.lean
2025-08-19
130 L
Eval.lean
2025-08-19
84 L
Syntax.lean
2025-08-19
4.2 kB