Skip to content

v1.0 beta 6
Compare
Choose a tag to compare
@fredokun fredokun released this 25 Sep 13:23
· 35 commits to master since this release
v1.0b6-SNAPSHOT
976f14d

This release enables an alternative syntax for parameters in definitions (theorems, etc.)

Assets 2
Loading