https://github.com/holms-lib/holms

HOL-Light Library for Modal Systems

automated-theorem-proving higher-order-logic hol-light interactive-theorem-proving modal-logics proof-assistant theorem-proving

Last synced: 24 May 2026