About

A proof assistant is software used for creating and checking formal proofs; examples include Coq and HOL. Not to be used for requesting assistance on finding proofs.

history | excerpt history