Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gmalecha/mirror-core issues and pull requests
#9 - Write [applicable] to determine when a lemma applies to a goal
Issue -
State: closed - Opened by gmalecha almost 11 years ago
- 2 comments
Labels: enhancement
#8 - Make unification an EProver
Issue -
State: closed - Opened by gmalecha almost 11 years ago
- 1 comment
Labels: enhancement
#7 - Provers that can instantiate unification variables.
Issue -
State: closed - Opened by gmalecha almost 11 years ago
- 1 comment
#6 - Clean up reification plugin building
Issue -
State: closed - Opened by gmalecha about 11 years ago
Labels: enhancement
#5 - Reification of Ext
Issue -
State: closed - Opened by gmalecha about 11 years ago
- 1 comment
Labels: enhancement
#4 - Support for converting exprs into lemmas
Issue -
State: open - Opened by gmalecha about 11 years ago
- 2 comments
Labels: enhancement
#3 - Phase split [exprD'] so that it produces a result before getting any semantic values.
Issue -
State: closed - Opened by gmalecha about 11 years ago
- 1 comment
Labels: enhancement
#2 - Phase split the Sym interface
Issue -
State: closed - Opened by gmalecha about 11 years ago
- 3 comments
Labels: enhancement
#1 - Generalize Ext to support different type algebras
Issue -
State: closed - Opened by gmalecha over 11 years ago
- 3 comments
Labels: enhancement