Skip to content

Issues: rocq-prover/stdlib

Beta
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

78 Open 9 Closed
78 Open 9 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Github CI anomaly zoo
#168 opened Jun 7, 2025 by andres-erbsen
Design: connecting booleans to their meaning
#165 opened Jun 5, 2025 by andres-erbsen
GitHub CI queuing
#153 opened May 31, 2025 by andres-erbsen
4
Require status checks to pass before merging (for auto-merge, no policy change)
#148 opened May 13, 2025 by andres-erbsen
3
CI: is there a way to see CI-built HTML documentation for an unmerged PR?
#145 opened May 10, 2025 by andres-erbsen
1
CI jobs should explicitly set the name field
#142 opened May 6, 2025 by JasonGross
"Cachix setup coq" failed on CI
#140 opened May 4, 2025 by andres-erbsen
Reducing per-file bureaucracy
#139 opened May 3, 2025 by andres-erbsen
12
NoDup_dec definition is opaque
#125 opened Mar 31, 2025 by olympichek
What is the merging policy for stdlib? (contributing.md is nonsense)
#116 opened Mar 3, 2025 by SkySkimmer
2
Keep All.v in topological order
#106 opened Feb 12, 2025 by proux01
[wish] Rename default branch to main instead of master
#102 opened Feb 7, 2025 by ejgallego
4
int64 equivalent for ExtrOcamlIntConv
#3 opened Dec 21, 2024 by liyishuai
stdlib exports conflicting notations
#4 opened Dec 20, 2024 by andres-erbsen
Confusing warning: Using Vector.t is known to be technically difficult
#5 opened Dec 7, 2024 by cogumbreiro
5
ZifyBool overriding zify_post_hook is a bad idea
#6 opened Jun 5, 2024 by rlepigre
Hard to fix Stdlib arithmetic deprecations in 8.18 breaking many projects in 8.19
#7 opened Jan 3, 2024 by palmskog
18
Scheme Equality for nat + Require Import Coq.Logic.Eqdep_dec. breaks inversion ("Illegal application" at Qed)
#8 opened Oct 2, 2023 by JasonGross
Bottlenecks in standard library
#9 opened Jul 20, 2023 by mrhaandi
1
List.rev is unexpectedly quadratic
#10 opened Jul 12, 2023 by charguer
3
ListNotations breaks primitive array syntax
#11 opened Jul 5, 2023 by JasonGross
5
Import Nsatz redefines "0" and "1"
#12 opened May 29, 2023 by andres-erbsen
6
Missing lemmas about Prop: absorbing or neutral elements for various operations
#14 opened Dec 14, 2022 by SnarkBoojum
3
Setoid rewriting hardcodes stdlib paths instead of relying on Register
#15 opened Nov 24, 2022 by Blaisorblade
1
Conflicting use of "~=" in Coq.Program.Equality and Coq.Structures.Equalities
#16 opened Jul 31, 2022 by imaxw
ProTip! Type g i on any issue or pull request to go back to the issue listing page.