Ecosyste.ms: Issues

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

GitHub / coq-community/coq-100-theorems issues and pull requests

#38 - How to add a "new" theorem?

Issue - State: open - Opened by Boutry 8 months ago - 1 comment

#37 - Fix typos

Pull Request - State: closed - Opened by int-y1 9 months ago

#35 - update CI with Coq 8.15 and 8.16, only use lower bound for Coq

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

#34 - update locations of goedel and bertrand

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

#33 - Add proof of 83, Friendship Theorem.

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

#32 - Add proof of 59 and 62 by Avraham Shinnar and Barry Trager

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

#31 - backwards-compatible fixes of deprecations in recent Coq

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

#30 - consistent references to Lindemann repo for transcendence

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

#29 - update Feuerbach reference and authors

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

#28 - refresh ci configuration for 8.14, remove old boilerplate

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

#27 - Fix coq-community references

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

#26 - Metadata update after repo renaming

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

#25 - Permalink to a more precise location for item 16?

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

#24 - [Item 16] Abel - Ruffini Theorem

Pull Request - State: closed - Opened by CohenCyril almost 4 years ago - 2 comments

#23 - add compatibility with Coq 8.13, update CI boilerplate

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

#22 - Add formalization of problem 88

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

#21 - Switch to GitHub Actions for CI

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

#20 - fix contrib references, and some other obsolete links

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

#19 - make all coq100 solutions refer to GitHub

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

#18 - fix all Coqtail references

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

#17 - fix URLs for all C-CoRN references

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

#16 - fix references to qarith-stern-brocot and bertrand

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

#15 - Linking to GitHub in index.html for hosted files

Issue - State: closed - Opened by palmskog about 4 years ago - 1 comment

#14 - Add link to Ptolemy's theorem

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

#13 - Copyright notice update for cardan_ferrari.v

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

#12 - Formalization of result 46 and update of result 37

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

#11 - No code link for Ptolemy's theorem

Issue - State: closed - Opened by palmskog about 4 years ago - 2 comments

#10 - fix all deprecations on 8.12, including changing from omega to lia

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

#9 - cardan3.v does not have a full proof of 37

Issue - State: closed - Opened by palmskog about 4 years ago - 1 comment

#8 - Separation of content from HTML file

Issue - State: open - Opened by palmskog about 4 years ago - 3 comments

#7 - add metadata and generate boilerplate

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

#6 - add _CoqProject and standard delegating Makefile

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

#5 - Change name for this repository?

Issue - State: closed - Opened by jmadiot about 4 years ago - 2 comments

#4 - Consider moving this project to coq-community

Issue - State: closed - Opened by palmskog about 4 years ago

#3 - Added 78: Cauchy-Schwarz Inequality

Pull Request - State: closed - Opened by roglo over 7 years ago

#2 - Fix unicode characters in Puiseux' theorem statement.

Pull Request - State: closed - Opened by Zimmi48 almost 8 years ago - 3 comments

#1 - add some results contained in GeoCoq

Pull Request - State: closed - Opened by jnarboux about 9 years ago - 2 comments