]> git.xn--bdkaa.com Git - temple.lean4.git/log
projects / temple.lean4.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
temple.lean4.git
16 months agoAdd debruijn term
commit | commitdiff | tree
Evgenii Akentev [Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400)]
Add debruijn term

16 months agoAdd simple parser
commit | commitdiff | tree
Evgenii Akentev [Sun, 24 Mar 2024 09:06:11 +0000 (13:06 +0400)]
Add simple parser

Simple template library in Lean4.