8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Joshua Chen
This paper introduces Isabelle/HoTT, the first development of homotopy type theory in the Isabelle proof assistant. Building on earlier work by Paulson, I use Isabelle's existing l…