[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Axiom-developer] Must see video

From: Tim Daly
Subject: [Axiom-developer] Must see video
Date: Wed, 3 Jan 2018 03:40:01 -0500

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

Youtube also hosts the DeepSpec Summer School videos from
Summer 2017.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]