leanprover / presentations
lean-related presentations
☆16Updated last year
Alternatives and similar repositories for presentations:
Users that are interested in presentations are comparing it to the libraries listed below
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4