proof assistants

Keywords > proof assistants

Videos linked to proof assistants

01:07:11

published on December 23, 2025

Organising large proofs: techniques, tools, and future

By Georges Gonthier

01:02:14

published on December 15, 2025

Waterproof: transforming a proof assistant into an educational tool

By Jim Portegies

58:14

published on December 15, 2025

Designing Interactive Partners for Proof

By Andrew Head

01:01:35

published on June 20, 2022

How to Do Maths Without Dependent Types

By Anthony Bordg

01:06:42

published on May 13, 2022

Why Explain Mathematics to Computers?

By Patrick Massot

More +

Copyright Carmin.tv 2026

Give feedback