projects / temple.lean.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 426ef43) | patch
Small improvements
authorEvgenii Akentev <i@ak3n.com>
Tue, 26 Mar 2024 21:26:05 +0000 (01:26 +0400)
committerEvgenii Akentev <i@ak3n.com>
Tue, 26 Mar 2024 22:58:30 +0000 (02:58 +0400)
commit6b3cf1826116f70f6114798125f6edeb711cf4ec
tree4371142ecb8bb2d630c281643a758d2c4a26b4e5tree | snapshot
parent426ef4330ca9f055507f916495e74a2662848d08commit | diff
Small improvements
Temple/DeBruijn.lean diff | blob | blame | history
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.