issues
search
coq-community
/
coq-art
Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]
https://coq-community.org/coq-art/
MIT License
110
stars
22
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Compatibility with Coq 8.20
#33
palmskog
closed
2 months ago
0
change boilerplate for 8.19 and beyond
#32
palmskog
closed
9 months ago
2
Include tutorial
#31
Casteran
opened
1 year ago
0
Compatibility fix for Coq master and 8.17
#30
palmskog
closed
1 year ago
0
Update ch2_types_expressions - ex1.v typo
#29
Durbatuluk1701
closed
2 years ago
1
fix some 8.16 warning (to check again)
#28
Casteran
closed
2 years ago
0
Prepare 8.15 release
#27
palmskog
closed
2 years ago
0
fix a few warnings
#26
Casteran
closed
2 years ago
0
fix two typos in explanations, change the date and author mail address
#25
ybertot
closed
2 years ago
0
Create sqrt_new
#24
ghasshee
closed
2 years ago
0
Port to 8.15
#23
palmskog
closed
2 years ago
0
Port to 8.14
#22
palmskog
closed
2 years ago
0
Update HTML files
#21
palmskog
closed
3 years ago
0
Boilerplate update
#20
palmskog
closed
3 years ago
0
README.md: fix links to chapters 6 and 7
#19
anton0xf
closed
3 years ago
0
typo of `cond_rewrite_example`
#18
yoshihiro503
closed
3 years ago
3
Fix 8.13 warnings
#17
Casteran
closed
3 years ago
5
Changes for Coq 8.13.0
#16
Casteran
opened
3 years ago
3
broken link in ch13_co_inductive_types
#15
awalterschulze
closed
3 years ago
4
add link the hosted html
#14
awalterschulze
closed
3 years ago
7
switch to GitHub Actions CI
#13
palmskog
closed
3 years ago
0
change license in metadata as per LICENSE file
#12
palmskog
closed
4 years ago
0
Minimal changes to support Coq 8.12.0
#11
palmskog
closed
4 years ago
0
Regenerate files from latest templates.
#10
Zimmi48
closed
4 years ago
0
Prep for release for Coq 8.11
#9
palmskog
closed
4 years ago
0
custom build instructions in meta.yml, regenerate README and opam
#8
palmskog
closed
4 years ago
0
Cannot find coq-art on opam Coq repo
#7
ghost
closed
4 years ago
2
fix a bunch of deprecations on Coq 8.10
#6
palmskog
closed
4 years ago
0
Bordeaux
#5
Casteran
closed
4 years ago
0
Compatibility with Coq 8.10
#4
palmskog
closed
4 years ago
0
change namespace from coqart89 to just coqart
#3
palmskog
closed
5 years ago
0
Repository organization for different Coq versions?
#2
palmskog
closed
2 years ago
1
Add metadata and CI
#1
palmskog
closed
5 years ago
0