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 8 months ago
#36 - [birthday.v] use stdlib lemmas to prove collision_count and enumerate_no_collisions
Pull Request -
State: open - Opened by haansn08 over 1 year 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 almost 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