20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school

20190605 Introduction to Interactive theorem proving, at the OSU Quantum Symmetries summer school

Interactive theorem proving demo: infinitely many primesSee more

Interactive theorem proving demo: infinitely many primes

10 minute Lean tutorial : proving logical propositionsSee more

10 minute Lean tutorial : proving logical propositions

Automated Mathematical Proofs - ComputerphileSee more

Automated Mathematical Proofs - Computerphile

Diagrammatic methods - Bogota school on Quantum Symmetries 20190701See more

Diagrammatic methods - Bogota school on Quantum Symmetries 20190701

Theorem proving for mathematiciansSee more

Theorem proving for mathematicians

Episode 10 Season 2 - This One TimeSee more

Episode 10 Season 2 - This One Time

Josef Urban | AI and Theorem ProvingSee more

Josef Urban | AI and Theorem Proving

Events