Loading...
Loading...
Coding for 13 years.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Created branch Dan/width16 in NethermindEth/Poseidon.lean
February 5th, 2026 2:25 AM
Pushed to main at NethermindEth/hax
February 4th, 2026 8:58 PM
Pushed to v4.27.0 at NethermindEth/Poseidon.lean
February 2nd, 2026 2:25 AM
Pushed to main at NethermindEth/LSpec
February 2nd, 2026 2:00 AM
Pushed to v4.27.0 at NethermindEth/LSpec
February 2nd, 2026 1:59 AM
Starred lenianiva/lean4-nix
February 2nd, 2026 1:23 AM
Pushed to Dan/propertyTestingWithRust at NethermindEth/Poseidon.lean
January 26th, 2026 1:11 AM
Created branch v4.27.0 in NethermindEth/Poseidon.lean
January 26th, 2026 1:11 AM
Created branch v4.27.0 in NethermindEth/YatimaStdLib.lean
January 26th, 2026 1:07 AM
Created branch v4.27.0 in NethermindEth/LSpec
January 26th, 2026 1:05 AM