]>
git.xn--bdkaa.com Git - temple.lean4.git/log
summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
Evgenii Akentev [Sun, 24 Mar 2024 18:24:08 +0000 (22:24 +0400)]
It works.
Evgenii Akentev [Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400)]
Add debruijn term
Evgenii Akentev [Sun, 24 Mar 2024 09:06:11 +0000 (13:06 +0400)]
Add simple parser
projects / temple.lean4.git / log