Loading...

Neil Strickland, Proof assistants as a routine tool?

658 views

Loading...

Loading...

Rating is available when the video has been rented.
This feature is not available right now. Please try again later.
Published on Nov 19, 2014

On 10 Nov 2014, at Homotopy Type Theory Workshop (7-10 Nov 2014, Mathematical Institute, University of Oxford)

Loading...

When autoplay is enabled, a suggested video will automatically play next.

Up next


to add this to Watch Later

Add to

Loading playlists...