leoprover / logic-embedding

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

Geek Repo

Github PK Tool