projects / temple.lean.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
temple.lean.git
10 months agoIt works.
commit | commitdiff | tree
Evgenii Akentev [Sun, 24 Mar 2024 18:24:08 +0000 (22:24 +0400)]
It works.

10 months agoAdd debruijn term
commit | commitdiff | tree
Evgenii Akentev [Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400)]
Add debruijn term

10 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.