This repository was archived by the owner on Aug 28, 2025. It is now read-only.
finish reading lean.org intro docs, moving to theorem proving#6
Merged
von-steinkirch merged 3 commits intomainfrom Jun 17, 2025
Merged
finish reading lean.org intro docs, moving to theorem proving#6von-steinkirch merged 3 commits intomainfrom
von-steinkirch merged 3 commits intomainfrom
Commits
Commits on Jun 17, 2025
- committed
von-steinkirch - committedvon-steinkirch
- committedvon-steinkirch