Mechanized HOL Reasoning in Set Theory. - Simon Guilloud; Sankalp Gambhir; Andrea Gilot; Viktor Kuncak (ITP, 2024)

epfl-lara/lisa. - Simon Guilloud; Sankalp Gambhir; Andrea Gilot; Viktor Kuncak (DROPS Artifacts, 2024)