Ecosyste.ms: Issues

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

GitHub / deducteam/coqine issues and pull requests

#16 - Setup nix

Pull Request - State: open - Opened by dwarfmaster 5 months ago

#15 - Coq names that are Dedukti keywords should be renamed

Issue - State: open - Opened by fblanqui about 4 years ago

#15 - Coq names that are Dedukti keywords should be renamed

Issue - State: open - Opened by fblanqui about 4 years ago

#14 - Coqine doesn't seem to terminate on Cyclic31

Issue - State: open - Opened by fblanqui about 4 years ago

#14 - Coqine doesn't seem to terminate on Cyclic31

Issue - State: open - Opened by fblanqui about 4 years ago

#11 - Coq option -quiet not taken into account

Issue - State: open - Opened by fblanqui about 4 years ago

#11 - Coq option -quiet not taken into account

Issue - State: open - Opened by fblanqui about 4 years ago

#10 - problem for compiling branch coq8.12: no rule to build .merlin in Makefile

Issue - State: open - Opened by fblanqui over 4 years ago - 1 comment

#10 - problem for compiling branch coq8.12: no rule to build .merlin in Makefile

Issue - State: open - Opened by fblanqui over 4 years ago - 1 comment

#9 - Feature Request: Support for Coq 8.10' SProp

Issue - State: open - Opened by rafoo almost 5 years ago - 11 comments

#9 - Feature Request: Support for Coq 8.10' SProp

Issue - State: open - Opened by rafoo almost 5 years ago - 11 comments

#8 - Moving to coq 8.10 and dune build

Pull Request - State: open - Opened by Gaspi about 5 years ago

#7 - Port src/command.ml4 to coqpp

Issue - State: open - Opened by XVilka over 5 years ago

#6 - Use OCaml 4.09 for Travis CI

Pull Request - State: open - Opened by XVilka over 5 years ago - 1 comment

#5 - Build is broken in master

Issue - State: closed - Opened by ejgallego about 6 years ago - 1 comment

#4 - Problem with translation of Hurkens.v file

Issue - State: open - Opened by ejgallego about 6 years ago

#3 - Univ poly

Pull Request - State: closed - Opened by Gaspi over 6 years ago

#2 - Develop

Pull Request - State: closed - Opened by Gaspi about 7 years ago

#1 - Compat with 8.7.1

Pull Request - State: closed - Opened by Gaspi about 7 years ago