Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / leoprover/logic-embedding issues and pull requests
#4 - Extension of the modal-logic-spec to allow for arbitrary conditions on the accessibility relations as well as bridge axioms
Pull Request -
State: closed - Opened by melanie-taprogge almost 2 years ago
#3 - Modify DHOL embeding to translate equalities into partial equivalence relations
Pull Request -
State: closed - Opened by ColinRothgang almost 2 years ago
- 1 comment
#2 - Update DHOL embedding to the translation that correctly handles equalities
Pull Request -
State: closed - Opened by ColinRothgang about 2 years ago
- 1 comment
#1 - Add support for translating HOL extended with Pi-types to HOL
Pull Request -
State: closed - Opened by ColinRothgang almost 3 years ago
- 2 comments