We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Proof assistant created in the Plugin Oriented Programming paradigm
Python
Plugin repository for the Larch proving assistant
Loading…