🎯
Focusing
-
yunstrategy
- China
Chun Tian
binghe
Common Lisp programmer and HOL proof engineer
Australian National University Canberra, Australia
vladyslavkotyk
vladyslavkotyk
Most of my public repositories are incomplete and experimental. I wouldn't take any of it seriously.
@criativatek Lisbon, Portugal