8 citations · 8 across the 4 of their papers we have counts for
1 paper · 1 filter
Joshua Chen
In this Masters thesis we present an implementation of a fragment of "book HoTT" as an object logic for the interactive proof assistant Isabelle. We also give a mathematical descri…