projects
/
temple.lean.git
/ log
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
| log |
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
temple.lean.git
6 months ago
Add debruijn term
commit
|
commitdiff
|
tree
Evgenii Akentev
[
Sun, 24 Mar 2024 09:09:47 +0000
(13:09 +0400)]
Add debruijn term
6 months ago
Add simple parser
commit
|
commitdiff
|
tree
Evgenii Akentev
[
Sun, 24 Mar 2024 09:06:11 +0000
(13:06 +0400)]
Add simple parser
projects / temple.lean.git / log