We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
05d5435
add heterogeneous substitutions, various cleanup
6ccd94d
add notation, renaming predicates, and various facts about reduction
5d0e636
initial release
