Mechanized HOL Reasoning in Set Theory.

Simon Guilloud, Sankalp Gambhir, Andrea Gilot, Viktor Kuncak

Browse the full ITP paper archive.