Skip to content

v0.2

Choose a tag to compare

View all tags
@amarmaduke amarmaduke released this 19 Nov 22:44
· 68 commits to main since this release
v0.2
6ccd94d

add notation, renaming predicates, and various facts about reduction

Assets 2
Loading