Loading...
Loading...
Common Lisp programmer, HOL proof engineer
Avg 10.9 stars per repo.
Coding for 17 years.
1289 followers.
Contribution Graph
Activity Timeline
Commits and contributions grouped by day, week, or month.
merged pull request in HOL-Theorem-Prover/HOL
January 29th, 2026 3:23 AM
opened pull request in HOL-Theorem-Prover/HOL
January 28th, 2026 8:12 AM
Created branch CLT_cleanup in binghe/HOL
January 28th, 2026 6:44 AM
DeleteEvent on binghe/HOL
January 28th, 2026 6:32 AM
DeleteEvent on binghe/HOL
January 28th, 2026 6:32 AM
Pushed to probability_dev at binghe/HOL
January 28th, 2026 6:30 AM
Pushed to probability_dev at binghe/HOL
January 28th, 2026 4:59 AM
Pushed to probability_dev at binghe/HOL
January 28th, 2026 2:25 AM
merged pull request in KaiPhan/HOL
January 23rd, 2026 6:12 AM
Starred CNugteren/CLBlast
January 21st, 2026 11:45 AM