Ecosyste.ms: Issues

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

GitHub / coq-community/metaprogramming-rosetta-stone issues and pull requests

#21 - New example with comments: ho_equalities, written in Ltac, Ltac2 and coq-elpi

Pull Request - State: open - Opened by louiseddp 12 months ago - 2 comments

#20 - Autoinduct documentation improvement

Pull Request - State: open - Opened by NeuralCoder3 about 1 year ago

#19 - CI for autoinduct

Pull Request - State: closed - Opened by yforster over 1 year ago

#18 - add basic meta.yml, generate README.md from templates

Pull Request - State: open - Opened by palmskog over 1 year ago - 5 comments

#17 - A simplification tactic for Z-module equations, specific to Z

Pull Request - State: open - Opened by pi8027 over 1 year ago

#16 - Change reflexive -> reflective

Pull Request - State: closed - Opened by gmalecha over 1 year ago - 3 comments

#15 - Follow-up meta task and notes

Issue - State: open - Opened by tlringer over 1 year ago - 9 comments

#14 - adding metacoq autoinduct steps 2 and 3

Pull Request - State: closed - Opened by Tvallejos over 1 year ago

#13 - A reflexive tactic for Z-modules (commutative groups), specific to Z

Pull Request - State: closed - Opened by pi8027 over 1 year ago - 2 comments

#12 - Autoinduct, document Ltac1 version in README

Issue - State: closed - Opened by tlringer over 1 year ago

#11 - Autoinduct, document OCaml version in README

Issue - State: closed - Opened by tlringer over 1 year ago

#10 - Autoinduct, add more tests

Issue - State: open - Opened by tlringer over 1 year ago - 1 comment

#8 - Autoinduct, OCaml, switch between versions depending on input

Issue - State: closed - Opened by tlringer over 1 year ago

#5 - Real simplifier: editorial changes + typo fixes

Pull Request - State: closed - Opened by MSoegtropIMC over 1 year ago

#4 - Autoinduct, OCaml, Part 3

Issue - State: closed - Opened by tlringer over 1 year ago

#3 - Autoinduct, Ltac, Part 3

Issue - State: open - Opened by tlringer over 1 year ago

#2 - Autoinduct, Ltac, Part 2

Issue - State: open - Opened by tlringer over 1 year ago

#1 - Update README.md

Pull Request - State: closed - Opened by gares over 1 year ago