Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / aspiwack/peppermint-prover issues and pull requests
#17 - A tiny supercompiler
Pull Request -
State: closed - Opened by aspiwack about 4 years ago
#16 - Many refactors resulting of today's stream
Pull Request -
State: closed - Opened by aspiwack about 4 years ago
#15 - Add links to bibliography in README
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#14 - README.md missing references
Issue -
State: closed - Opened by curiousleo over 4 years ago
- 1 comment
#13 - Support for Haskell's language server
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#12 - A barebone De-Bruijn-Index boilerplate removal library
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#11 - More rigid types + quotients (prototype)
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#10 - Various refactors
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#9 - Galois connections
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#8 - Prop as terms
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#7 - Separate concrete and abstract syntax
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#6 - refactor: automate the `ensuring (g == g')` boilerplate
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#5 - Scoping in and typechecking of goals
Pull Request -
State: closed - Opened by aspiwack over 4 years ago
#4 - Focusing tactics to work with implications in theorems
Pull Request -
State: closed - Opened by aspiwack almost 5 years ago
#3 - Refined: add basic interactive proofs
Pull Request -
State: closed - Opened by aspiwack almost 5 years ago
#2 - Refined experiment
Pull Request -
State: closed - Opened by aspiwack almost 5 years ago
#1 - And experiment with tactics-as-traversals
Pull Request -
State: closed - Opened by aspiwack about 5 years ago