Idris code is translated from the Agda (and sometimes the Lean) templates from Advent of Proof 2024.
jmanuel1/advent-of-proof
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Idris code is translated from the Agda (and sometimes the Lean) templates from Advent of Proof 2024.