A proof assistant, or interactive theorem prover, is a software tool to assist with the development of formal proofs by human-machine collaboration.
A proof assistant, or interactive theorem prover, is a software tool to assist with the development of formal proofs by human-machine collaboration.
|
created |
2 years, 5 months ago |
|
viewed |
5 times |
|
active |
2 years, 5 months ago |
|
editors |
1 |
