Popular repositories Loading
govereau doesn't have any public repositories yet.
173 contributions in the last year
Day of Week | February Feb | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | |||||||||||||||||||||||||||||||||||||||||
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
January 2025
Created 8 commits in 1 repository
Created a pull request in leanprover/NKL that received 9 comments
fix: handle arguments and defaults consistently
Default function arguments were not being handled the same way as function arguments. It was possible that an expression that could be passed as an…
+51
−95
lines changed
•
9
comments
Opened 8 other pull requests in 1 repository
leanprover/NKL
1
open
7
merged
-
feat: implement comparison operators
This contribution was made on Jan 27
-
refactor: make some partial functions total
This contribution was made on Jan 27
-
feat: add assignments to tuples and lists
This contribution was made on Jan 21
-
A simple pretty-printer for KLR
This contribution was made on Jan 21
-
Tracing for python source functions
This contribution was made on Jan 9
-
feat: basic tracing for Terms
This contribution was made on Jan 8
-
Tracing type definitions
This contribution was made on Jan 8
-
refactor: cleanup KLR definitions
This contribution was made on Jan 8
Reviewed 25 pull requests in 2 repositories
leanprover/TensorLib
15 pull requests
-
Add a CLI and some light testing
This contribution was made on Jan 24
-
Universal functions
This contribution was made on Jan 22
-
Add Plausible
This contribution was made on Jan 22
-
Trivial cleanups
This contribution was made on Jan 9
-
Bit hacking
This contribution was made on Jan 9
-
Mgrid
This contribution was made on Jan 8
-
Update to Lean 4.15.0
This contribution was made on Jan 8
-
Advanced indexing
This contribution was made on Jan 8
-
Basic indexing
This contribution was made on Jan 6
-
Add Common.lean
This contribution was made on Jan 6
-
Add Tensor type
This contribution was made on Jan 3
-
Slicing
This contribution was made on Jan 3
-
Broadcasting
This contribution was made on Jan 3
-
Npy file support
This contribution was made on Jan 3
-
Add Dtype.lean
This contribution was made on Jan 3
leanprover/NKL
10 pull requests
-
feat: implement comparison operators
This contribution was made on Jan 27
-
refactor: make some partial functions total
This contribution was made on Jan 27
-
Tracing for python source functions
This contribution was made on Jan 22
-
A simple pretty-printer for KLR
This contribution was made on Jan 21
-
feat: add assignments to tuples and lists
This contribution was made on Jan 21
-
feat: basic tracing for Terms
This contribution was made on Jan 10
-
Tracing type definitions
This contribution was made on Jan 10
-
refactor: cleanup KLR definitions
This contribution was made on Jan 10
-
fix: handle arguments and defaults consistently
This contribution was made on Jan 10
-
chore: update to 4.15.0
This contribution was made on Jan 7