We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
3215287
Hotfix for programs that don't use the proof outline syntax.
d464eff
Pre-built binaries for Windows
