|
.gitignore
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
_RocqProject
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
basics_6.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
basics_7.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
basics_8.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
basics_9.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
basics_12.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
CoqMakefile.conf
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
level_19.v
|
A fair start
|
2026-04-24 22:06:52 +02:00 |
|
level_20.v
|
A fair start
|
2026-04-24 22:06:52 +02:00 |
|
level_21.v
|
A fair start
|
2026-04-24 22:06:52 +02:00 |
|
level_22.v
|
Level 22: multiplication commutativity
|
2026-04-26 11:02:40 +02:00 |
|
level_25.v
|
Level 25: swap involution
|
2026-04-26 11:13:25 +02:00 |
|
level_26.v
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
level_27.v
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
level_28.v
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
Makefile
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
README.md
|
Fix game url
|
2026-04-26 11:04:08 +02:00 |
|
RocqMakefile
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
RocqMakefile.conf
|
Level {26, 27, 28}
|
2026-04-26 14:58:35 +02:00 |
|
Temporary.v
|
A fair start
|
2026-04-24 22:06:52 +02:00 |
