Common Lisp programmer and HOL proof engineer. binghe has 50 repositories available. Follow their code on GitHub.
