Pinned Loading
-
bluesky-social/social-app
bluesky-social/social-app PublicThe Bluesky Social application for Web, iOS, and Android
-
1,963 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | ||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
March 2025
Created 7 commits in 2 repositories
Created 1 repository
-
gaearon/formalising-mathematics-notes
Lean
This contribution was made on Mar 12
Created a pull request in b-mehta/formalising-mathematics-notes that received 1 comment
Remove unrelated/unused definitions
Doesn't seem related to the point of the sheet.
+0
−8
lines changed
•
1
comment
Opened 7 other pull requests in 2 repositories
b-mehta/formalising-mathematics-notes
4
merged
1
open
-
Fix tactic name in the comments
This contribution was made on Mar 13
-
Fix problem to match the solution
This contribution was made on Mar 13
-
Fix rw syntax for Lean 4
This contribution was made on Mar 13
-
Minor refactor of the Section03functions/Sheet1
This contribution was made on Mar 12
-
Fix non-terminal simps
This contribution was made on Mar 12
ImperialCollegeLondon/formalising-mathematics-2024
2
closed
-
Use Lean 4 syntax in a hint
This contribution was made on Mar 12
-
Change README to use git clone via https
This contribution was made on Mar 5
Reviewed 1 pull request in 1 repository
b-mehta/formalising-mathematics-notes
1 pull request
-
Minor refactor of the Section03functions/Sheet1
This contribution was made on Mar 12