andrejbauer / formalized-mathematics-in-lean

A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
21Updated last week

Related projects

Alternatives and complementary repositories for formalized-mathematics-in-lean