-
Notifications
You must be signed in to change notification settings - Fork 151
Insights: leanprover-community/leanprover-community.github.io
Overview
-
0 Active issues
-
- 8 Merged pull requests
- 1 Open pull request
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
8 Pull requests merged by 5 people
-
Fix typo
#665 merged
Jul 1, 2025 -
feat: show how to skip steps 1 to 3 of the git guide with gh
#664 merged
Jun 28, 2025 -
chore: change installation side menu to make more sense
#657 merged
Jun 26, 2025 -
update contrib info
#662 merged
Jun 25, 2025 -
add FMiM course (NL)
#661 merged
Jun 25, 2025 -
add Lorentz event in Sept 2025
#660 merged
Jun 25, 2025 -
chore: grammatical fixes
#658 merged
Jun 25, 2025 -
Update learn.md
#659 merged
Jun 25, 2025
1 Pull request opened by 1 person
-
update menu and installation instructions
#663 opened
Jun 26, 2025