]> git.xn--bdkaa.com Git - temple.lean4.git/shortlog
projects / temple.lean4.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
temple.lean4.git
2024-03-24 Evgenii AkentevAdd debruijn term commit | commitdiff | tree | snapshot
2024-03-24 Evgenii AkentevAdd simple parser commit | commitdiff | tree | snapshot
Simple template library in Lean4.