Which was the first original proof assistant? What was it used for? When and by who was it created? Is it still used today? And what was it's purpose(s)?
2 of 6
Added tag, and much more readable now
What was the 1st Proof Assistant?
taylor.2317
- 1.3k
- 8
- 36