Proving Axiom Correct: Mathematical Components book

Previous Topic Next Topic
 
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Proving Axiom Correct: Mathematical Components book

Tim Daly
The COQ team at INRIA has released an online book called "Mathematical
Components" which covers a library that simplifies proofs. This looks like an
excellent match to Axiom and Latex. See, for example, slide 19 of this
presentation.
The free book is available at
for those who want to follow along on the effort to prove Axiom correct.

Tim


_______________________________________________
Axiom-developer mailing list
[hidden email]
https://lists.nongnu.org/mailman/listinfo/axiom-developer