Skip to content

Pull requests: anoma/geb

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Fix typo Update README
#178 opened Aug 20, 2024 by Olexandr88 Loading…
Next
#173 opened Nov 21, 2023 by mariari Loading…
modified: documentation.lisp
#123 opened May 12, 2023 by heindel Loading…
Add built-in natural numbers to Subst category
#101 opened Apr 26, 2023 by rokopt Loading…
A very naive geb reduction system
#72 opened Feb 17, 2023 by mariari Draft
ProTip! What’s not been updated in a month: updated:<2024-11-12.