Some computer-assisted proofs with Agda - Radical Pi
Channel: Jim Fowler
Date: 03/03/2021

In this talk for an undergraduate math club, I use Agda to demonstrate "proofgramming" with an example of unital left shelves.

#agda #proofgramming