Must see video
Tim Daly <[email protected]> Wed, 3 Jan 2018 03:40:01 -0500
| Newsgroups | gmane.comp.mathematics.axiom.devel |
|---|---|
| Message-ID | <CAJn5L=KuOaWdmm4hMyqcc1yeR3kqN5oitL9-ZhNKgYvjsCzH_g@mail.gmail.com> |
For the last year the Axiom effort has focused on proving Axiom correct. There has been much progress on that front. Soon there will be a survey paper on prior cooperation between computer algebra systems and proof systems. The work is now entering a new phase looking at verification. On that topic, I strongly recommend Benjamin Pierce's keynote talk on The Science of Deep Specification https://www.youtube.com/watch?v=IPNdsnRWBkk Youtube also hosts the DeepSpec Summer School videos from Summer 2017. Tim _______________________________________________ Axiom-developer mailing list [email protected] https://lists.nongnu.org/mailman/listinfo/axiom-developer