Buy Me a Coffee at ko-fi.com

Proof assistant

software tool to assist with the development of formal proofs by human-machine collaboration

LEGO Isabelle Lean SPASS Theorem Proving System
Showing 0 to 5 of 5 Items