issues
search
coq-community
/
hydra-battles
Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]
https://coq-community.org/hydra-battles/doc/hydras.pdf
MIT License
63
stars
12
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update doc
#179
Casteran
closed
7 months ago
0
Update doc
#178
Casteran
closed
7 months ago
0
Corrections in doc
#177
Casteran
closed
7 months ago
0
E0 coercion
#176
Casteran
opened
7 months ago
0
Projection
#175
Casteran
closed
7 months ago
0
Canon deprecate
#174
Casteran
closed
7 months ago
1
Small corrections in Chapter 3
#173
Casteran
closed
7 months ago
0
Improve doc
#172
Casteran
closed
7 months ago
0
small corrections
#171
Casteran
closed
8 months ago
0
remove a bunch of deprecate warnings
#170
Casteran
closed
8 months ago
4
Small changes
#169
Casteran
closed
9 months ago
1
Some snippets are incompletely translated into latex
#168
Casteran
opened
9 months ago
0
New scopes
#167
Casteran
closed
10 months ago
0
Nat2 term coercion
#166
Casteran
closed
10 months ago
0
Goedel doc fixes
#165
Zimmi48
closed
11 months ago
0
Multiple substs
#164
Casteran
closed
11 months ago
0
Tmp
#163
Casteran
closed
11 months ago
0
Update meta.yml and README.md
#162
Casteran
closed
11 months ago
1
Update doc
#161
Casteran
closed
11 months ago
1
Change the implicits of the substF function
#160
Casteran
closed
1 year ago
0
Pr156
#159
Casteran
opened
1 year ago
0
Code classes
#158
Casteran
closed
1 year ago
0
Dev
#157
Casteran
closed
1 year ago
1
Use ZornsLemma for def of Countable sets
#156
Columbus240
closed
12 months ago
5
Chapter14
#155
Casteran
closed
1 year ago
0
Update Coq Nix Toolbox and Coq version to 8.15.
#154
Zimmi48
closed
1 year ago
2
try to fix a CI-issue
#153
Casteran
closed
1 year ago
0
Restrict to MathComp 1 to fix CI.
#152
Zimmi48
closed
1 year ago
3
Better notations
#151
Casteran
closed
1 year ago
0
PR for branch legacy
#150
Casteran
opened
1 year ago
0
Update Coq Nix Toolbox.
#149
Zimmi48
closed
1 year ago
1
Switchv12
#148
Casteran
closed
1 year ago
0
Three scopes
#147
Casteran
closed
1 year ago
1
Fo lnotations
#146
Casteran
closed
1 year ago
0
Reorganization
#145
Casteran
closed
1 year ago
0
Fix bullets
#144
Casteran
closed
1 year ago
0
Implicits
#143
Casteran
closed
1 year ago
0
Experimental
#142
Casteran
closed
1 year ago
0
Use master version of Coq in Nix CI.
#141
Zimmi48
opened
1 year ago
0
require Coq 8.14 later in opam and CI due to CoqPrime
#140
palmskog
closed
1 year ago
0
New notations
#139
Casteran
closed
1 year ago
0
transfer goedel code, update documentation and Docker CI
#138
palmskog
closed
1 year ago
4
add rooster hydra AI art to gallery
#137
palmskog
closed
1 year ago
0
bullets in Ackermann
#136
Casteran
closed
1 year ago
1
Fix Nix CI for Goedel (depends on CoqPrime).
#135
Zimmi48
closed
1 year ago
1
work on Ackermann (fix a few 8.16 deprecation warnings)
#134
Casteran
closed
2 years ago
1
Nix: use the dev version of goedel.
#133
Zimmi48
closed
2 years ago
0
V8.15
#132
Casteran
closed
2 years ago
1
On gaia
#131
Casteran
closed
2 years ago
0
Revision book to page 82. deprecate a few symbols
#130
Casteran
closed
2 years ago
3
Next