-
Notifications
You must be signed in to change notification settings - Fork 123
Insights: leanprover-community/leanprover-community.github.io
Overview
-
0 Active issues
-
- 1 Merged pull request
- 3 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Pull request merged by 1 person
-
Duke University course
#542 merged
Oct 28, 2024
3 Pull requests opened by 2 people
-
added course Formalisms Every Computer Scientist Should Know
#545 opened
Oct 31, 2024 -
chore: add tags to all ITP24 papers
#546 opened
Nov 2, 2024 -
chore: add missing ITP 23 papers
#547 opened
Nov 2, 2024