Chris Bailey

icon indicating a website link https://christopherabailey.com/

Results 1 repositories owned by Chris Bailey

nanoda

39
Stars
3
Forks
Watchers

A type checker for the Lean theorem prover

verified publisher icon ammkrn