jinh0

Jinho Yoon's repositories

👀 Move faster with unique f/F indicators.

Language:Lua393 3 37

The all-in-one course catalog.

Language:TypeScriptGPL-3.014 2 97

WIP: Automated theorem prover for propositional logic

Language:OCaml1 2 2

Testing some algorithms for groups

Language:Python1 20

Solvers for simple zero-sum games.

Language:Python1 20

Linear regression models for prediction of food wastage.

Language:MATLAB020

020

A bottom-up approach to a verified implementation of MLTT

Language:Coq010

Language:Lua020