🐟
Eating fish
- Boston, MA
Pinned Loading
-
3ds-save-tool
3ds-save-tool PublicTools to extract 3DS format save file. For richer functionality, use https://github.com/wwylele/save3ds
-
-
127 contributions in the last year
Day of Week | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | ||||||||||||||||||||||||||||||||||||||||
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
Activity overview
Contributed to
wwylele/biased-bisect-lean,
leanprover-community/mathlib4,
wwylele/biased-bisect-manim
and 7 other
repositories
Loading
Contribution activity
April 2025
Created 18 commits in 2 repositories
Created a pull request in leanprover-community/mathlib4 that received 11 comments
feat(Topology/Order): add Dense.exists_seq_strict{Mono/Anti}_tendsto
Add Dense.exists_seq_strict{Mono/Anti}_tendsto{'}
that restricts the sequence to a dense subset. This is useful for e.g. finding a monotone rationa…
+62
−0
lines changed
•
11
comments
Reviewed 3 pull requests in 1 repository
leanprover-community/mathlib4
3 pull requests
-
feat(Topology/Order): add
Dense.exists_seq_strict{Mono/Anti}_tendsto
This contribution was made on Apr 6 -
[Merged by Bors] - feat(Analysis): add improper integral of complex exp
This contribution was made on Apr 3
-
[Merged by Bors] - feat(Data/List/Basic): add forall_append
This contribution was made on Apr 1