projects / temple.lean.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b3cf18) | patch
Add operators support.
authorEvgenii Akentev <i@ak3n.com>
Tue, 26 Mar 2024 22:58:33 +0000 (02:58 +0400)
committerEvgenii Akentev <i@ak3n.com>
Thu, 28 Mar 2024 20:22:16 +0000 (00:22 +0400)
commitfe1d3606a50d7aeaf3d1b3fca5d82a47bb9e5770
tree212b4a4c45c8035de21d01f66379911f09f98852tree | snapshot
parent6b3cf1826116f70f6114798125f6edeb711cf4eccommit | diff
Add operators support.
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.