Buy Me a Coffee at ko-fi.com

Proof assistant

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

Pronunciation
/pruf əˈsɪstənt/
/pruːf əˈsɪstənt/
Categories
software category