Ecosyste.ms: Issues

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

GitHub / coq-community/coq-art issues and pull requests

#33 - Compatibility with Coq 8.20

Pull Request - State: closed - Opened by palmskog 4 months ago

#32 - change boilerplate for 8.19 and beyond

Pull Request - State: closed - Opened by palmskog 11 months ago - 2 comments

#31 - Include tutorial

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

#30 - Compatibility fix for Coq master and 8.17

Pull Request - State: closed - Opened by palmskog almost 2 years ago

#29 - Update ch2_types_expressions - ex1.v typo

Pull Request - State: closed - Opened by Durbatuluk1701 about 2 years ago - 1 comment

#28 - fix some 8.16 warning (to check again)

Pull Request - State: closed - Opened by Casteran over 2 years ago

#27 - Prepare 8.15 release

Pull Request - State: closed - Opened by palmskog over 2 years ago

#26 - fix a few warnings

Pull Request - State: closed - Opened by Casteran over 2 years ago

#25 - fix two typos in explanations, change the date and author mail address

Pull Request - State: closed - Opened by ybertot over 2 years ago

#24 - Create sqrt_new

Pull Request - State: closed - Opened by ghasshee over 2 years ago

#23 - Port to 8.15

Pull Request - State: closed - Opened by palmskog almost 3 years ago

#22 - Port to 8.14

Pull Request - State: closed - Opened by palmskog about 3 years ago

#21 - Update HTML files

Pull Request - State: closed - Opened by palmskog about 3 years ago

#20 - Boilerplate update

Pull Request - State: closed - Opened by palmskog about 3 years ago

#19 - README.md: fix links to chapters 6 and 7

Pull Request - State: closed - Opened by anton0xf over 3 years ago

#18 - typo of `cond_rewrite_example`

Pull Request - State: closed - Opened by yoshihiro503 almost 4 years ago - 3 comments

#17 - Fix 8.13 warnings

Pull Request - State: closed - Opened by Casteran almost 4 years ago - 5 comments

#16 - Changes for Coq 8.13.0

Issue - State: open - Opened by Casteran almost 4 years ago - 3 comments

#15 - broken link in ch13_co_inductive_types

Issue - State: closed - Opened by awalterschulze almost 4 years ago - 4 comments

#14 - add link the hosted html

Issue - State: closed - Opened by awalterschulze almost 4 years ago - 7 comments

#13 - switch to GitHub Actions CI

Pull Request - State: closed - Opened by palmskog almost 4 years ago

#12 - change license in metadata as per LICENSE file

Pull Request - State: closed - Opened by palmskog about 4 years ago

#11 - Minimal changes to support Coq 8.12.0

Pull Request - State: closed - Opened by palmskog over 4 years ago

#10 - Regenerate files from latest templates.

Pull Request - State: closed - Opened by Zimmi48 over 4 years ago

#9 - Prep for release for Coq 8.11

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#8 - custom build instructions in meta.yml, regenerate README and opam

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#7 - Cannot find coq-art on opam Coq repo

Issue - State: closed - Opened by ghost almost 5 years ago - 2 comments

#6 - fix a bunch of deprecations on Coq 8.10

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#5 - Bordeaux

Pull Request - State: closed - Opened by Casteran almost 5 years ago

#4 - Compatibility with Coq 8.10

Pull Request - State: closed - Opened by palmskog almost 5 years ago

#3 - change namespace from coqart89 to just coqart

Pull Request - State: closed - Opened by palmskog about 5 years ago

#2 - Repository organization for different Coq versions?

Issue - State: closed - Opened by palmskog over 5 years ago - 1 comment

#1 - Add metadata and CI

Pull Request - State: closed - Opened by palmskog over 5 years ago