The history of proof assistants and machine-assisted proofs.
The history tag can be used to talk about past, present, or future Proof Assistants, as long as the question specifies that it is talking about changing history (if in present or future).
About
Stats
|
created |
2 years, 7 months ago |
|
viewed |
9 times |
|
active |
2 years, 7 months ago |
|
editors |
1 |
