Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / theowinterhalter/ghost-reflection issues and pull requests

#14 - New implementation of `rasimpl` using `rewrite_start`

Pull Request - State: closed - Opened by TheoWinterhalter 6 months ago - 2 comments

#13 - New rasimpl tactic to replace asimpl

Pull Request - State: closed - Opened by TheoWinterhalter 7 months ago

#12 - reduction

Pull Request - State: open - Opened by EwenBC 8 months ago

#11 - Discrimination of erased natural numbers

Pull Request - State: closed - Opened by TheoWinterhalter 9 months ago

#10 - Large elimination for bool

Pull Request - State: closed - Opened by TheoWinterhalter 11 months ago

#9 - Add vectors

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#8 - Translation for nat, assuming more than an inductive type

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#7 - Translation for nat and vec performed in Gallina

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#6 - One free theorem

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#5 - Add bool

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#4 - Add admissible simpler typing rules

Pull Request - State: closed - Opened by TheoWinterhalter 12 months ago

#3 - Factorise pi

Pull Request - State: closed - Opened by TheoWinterhalter about 1 year ago

#2 - Use stronger notion of equality for Pi

Pull Request - State: closed - Opened by TheoWinterhalter about 1 year ago

#1 - Flex contexts and more

Pull Request - State: closed - Opened by TheoWinterhalter about 1 year ago