34 citations · 135 across the 21 of their papers we have counts for
1 paper · 1 filter
Simon Guilloud, Sankalp Gambhir, Viktor Kunčak
We present LISA, a proof system and proof assistant for constructing proofs in schematic first-order logic and axiomatic set theory. The logical kernel of the system is a proof che…