🎯
Sanskrit
Common Lisp, Standard ML programmer and HOL proof engineer
-
Australian National University
- Canberra, Australia
- https://www.linkedin.com/in/binghelisp/
- https://orcid.org/0000-0002-2777-9443
- @binghe_lisp
- binghe.lisp
Highlights
- Pro
Earned achievements
Quickdraw
Quickdraw
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
x2
Starstruck
x2
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading