repos
/
temple.lean4.git
summary
|
refs
|
master
|
code
|
commits
It works.
426ef43
Evgenii Akentev
·
2024-03-24
Temple.lean
1
import Temple.Syntax
2
import Temple.DeBruijn
3
import Temple.DeBruijnEval
4
import Temple.Eval