Josh Chen
Results
1
repositories owned by
Josh Chen
Isabelle-HoTT
34
Stars
4
Forks
Watchers
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
Josh Chen
An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle