Back to search
Top Contributors
99
commits
5
commits
2
commits
1
commits
1
commits
1
commits
1
commits
Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.
Stars
249
Forks
58
Watchers
249
Open Issues
0
Overall repository health assessment
No package.json found
This might not be a Node.js project
99
commits
5
commits
2
commits
1
commits
1
commits
1
commits
1
commits
include link to Bhavik Mehta's 2025 version of the course
c4cfdc6View on GitHubMerge pull request #8 from Equilibris/fix-typo-sec12-filters
8a52535View on GitHub`README.md` - codespaces instructions => codespaces button
abebe02View on GitHubMerge pull request #6 from YunkaiZhang233/typo-fixed-refl
0f7f599View on GitHubupdate instruction comments to conform with Lean4 syntax
3cbd252View on GitHubfix: typo at section 1 sheet 5: `refl` not used but `rfl`
58b88b2View on GitHub