projects / temple.lean.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fe1d360) | patch
Fix operators main
authorEvgenii Akentev <i@ak3n.com>
Thu, 28 Mar 2024 20:22:20 +0000 (00:22 +0400)
committerEvgenii Akentev <i@ak3n.com>
Sat, 30 Mar 2024 17:18:10 +0000 (21:18 +0400)
commit90f4f7ab7d745736de55703a4fdded3d388017cf
tree7fe04160ad73ec52f7b288f9fc7068e85fe1910dtree | snapshot
parentfe1d3606a50d7aeaf3d1b3fca5d82a47bb9e5770commit | diff
Fix operators
Temple/DeBruijnEval.lean diff | blob | blame | history
Temple/Eval.lean diff | blob | blame | history
Temple/Syntax.lean diff | blob | blame | history
Simple template library in Lean4.