Researcher in Machine-Assisted Theorem Proving; Director of NorCal Hakkero Factory No. 1
Repositories this builder owns.
Others building in the same ecosystem.
Most recently pushed work.
