7:16
Ten minute Lean tutorial : make proofs of easy lemmas
Xena Project
58:46
The Future of Mathematics? Professor Kevin Buzzard - 30 May 2019
Imperial College Faculty of Natural Sciences
1:00:37
Introduction to Grobner Bases - Prof. Bernd Sturmfels
Piers Barber
