Loading...
Loading...
Coding for 11 years.
109 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
Pushed to rpc-cancel at Vtec234/vscode-lean4
February 5th, 2026 7:38 PM
Pushed to rpc-cancel at Vtec234/vscode-lean4
February 5th, 2026 6:48 PM
PullRequestReviewEvent on leanprover/vscode-lean4
February 5th, 2026 6:39 PM
PullRequestReviewCommentEvent on leanprover/vscode-lean4
February 5th, 2026 6:39 PM
IssueCommentEvent on sinhp/HoTTLean
February 5th, 2026 5:49 PM
PullRequestReviewEvent on leanprover/vscode-lean4
February 5th, 2026 5:47 PM
PullRequestReviewCommentEvent on leanprover/vscode-lean4
February 5th, 2026 5:47 PM
Starred hanwenzhu/LeanArchitect
February 4th, 2026 9:46 PM
Pushed to hott0-interp at sinhp/HoTTLean
January 29th, 2026 11:16 PM
Created branch hott0-interp in Vtec234/groupoid_model_in_lean4
January 29th, 2026 4:56 AM