https://github.com/leoprover/logic-embedding

Library and application for encoding non-classical logics into classical higher-order logic.

logic modal-logic non-classical-logics reasoning

Last synced: 07 May 2025