issues
search
coq
/
stdlib2
GNU Lesser General Public License v2.1
39
stars
9
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Adapt to coq/coq#18352 (ltacX_common_plugin)
#29
SkySkimmer
closed
9 months ago
1
Remove "x : T" notation
#28
proux01
closed
1 year ago
0
Adapt w.r.t coq/coq#16004
#27
Alizter
closed
2 years ago
1
Adapt to Coq PR #15537: schemes eq_rect & cie have different automatically generated names
#26
herbelin
closed
2 years ago
0
adapt to coq/coq#15220
#25
gares
closed
2 years ago
1
It seems I have a short proof of P=NP - check it
#24
vporton
closed
3 years ago
2
[coq] Adapt to coq/coq#12218
#23
proux01
closed
3 years ago
3
Should auto-generated schemes be moved inside there own modules/records
#22
Matafou
opened
4 years ago
2
[coq] Adapt to coq/coq#11948
#21
proux01
closed
4 years ago
2
Compatibility with std++ ?
#20
spitters
opened
4 years ago
3
Adapt to coq/coq#11368 (Turn trailing implicit warning into an error)
#19
SimonBoulier
closed
4 years ago
1
[coq] Adapt to coq/coq#8764
#18
proux01
closed
5 years ago
1
Universes
#17
Zimmi48
opened
5 years ago
10
Fix CONTRIBUTING link in README
#16
NJBS
closed
5 years ago
0
Finite maps and finite sets
#15
jakobbotsch
opened
5 years ago
3
Stdlib2: get started
#14
vbgl
closed
5 years ago
18
discussion of modularity mechanisms
#13
andres-erbsen
opened
5 years ago
7
Make the roadmap of the library more explicit and add dates
#12
Zimmi48
opened
5 years ago
5
Policy for the superficial layout (spacing, newlines, ...).
#11
herbelin
opened
6 years ago
5
Plan for backwards compatibility and deprecation
#10
langston-barrett
opened
6 years ago
3
Add README. Fixes #8
#9
maximedenes
closed
6 years ago
0
Add a README and a CONTRIBUTING guide even before there is code.
#8
Zimmi48
closed
6 years ago
0
What should go in stdlib?
#7
gmalecha
opened
6 years ago
10
Strict behavior for hint databases
#6
Zimmi48
opened
6 years ago
8
all functions should come with parametricity proofs
#5
andres-erbsen
opened
6 years ago
2
one smallest partial equivalence relation for each type
#4
andres-erbsen
opened
6 years ago
12
What should go in the prelude?
#3
maximedenes
opened
6 years ago
6
Naming conventions
#2
maximedenes
opened
6 years ago
10
Stdlib2 license
#1
maximedenes
closed
5 years ago
4