-
Notifications
You must be signed in to change notification settings - Fork 2
Library and application for encoding non-classical logics into classical higher-order logic.
License
leoprover/logic-embedding
ErrorLooks like something went wrong!
About
Library and application for encoding non-classical logics into classical higher-order logic.