GitHub repository: leoprover/logic-embedding
Primary language: Scala
Description: Library and application for encoding non-classical logics into classical higher-order logic.