- Stanford University Centaur Lab
- https://leni.sh
-
Director of NorCal Hakkero Factory No. 1
- Joined on
2023-08-21
chore: Update Lean to v4.14.0
doc: Design Rationale Document
doc: Documentation cleanup and update
doc: Documentation cleanup and update
Erase macro scopes in sexp binders