We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
b6b02d9
There was an error while loading. Please reload this page.
fix 2 bugs related to ITSs without variables
4105ad4
ari: fix for parsing nullary functions
25efb1b
statically linked Linux x64 binary
