| Mode | Name | Size | |
|---|---|---|---|
| -rw-r--r-- | Problem1.agda | 2385 | logplain |
| -rw-r--r-- | Problem10.agda | 5087 | logplain |
| -rw-r--r-- | Problem11.agda | 1975 | logplain |
| -rw-r--r-- | Problem12.agda | 21882 | logplain |
| -rw-r--r-- | Problem13.agda | 4200 | logplain |
| -rw-r--r-- | Problem14.agda | 8486 | logplain |
| -rw-r--r-- | Problem15.agda | 7362 | logplain |
| -rw-r--r-- | Problem16.agda | 1384 | logplain |
| -rw-r--r-- | Problem17.agda | 4757 | logplain |
| -rw-r--r-- | Problem18.agda | 7165 | logplain |
| -rw-r--r-- | Problem19.agda | 7153 | logplain |
| -rw-r--r-- | Problem2.agda | 1500 | logplain |
| -rw-r--r-- | Problem20.agda | 5506 | logplain |
| -rw-r--r-- | Problem21.agda | 2555 | logplain |
| -rw-r--r-- | Problem22.agda | 3681 | logplain |
| -rw-r--r-- | Problem23.agda | 5757 | logplain |
| -rw-r--r-- | Problem24.agda | 5955 | logplain |
| -rw-r--r-- | Problem3.agda | 2826 | logplain |
| -rw-r--r-- | Problem4.agda | 4670 | logplain |
| -rw-r--r-- | Problem5.agda | 1563 | logplain |
| -rw-r--r-- | Problem6.agda | 12446 | logplain |
| -rw-r--r-- | Problem7.agda | 1599 | logplain |
| -rw-r--r-- | Problem8.agda | 3909 | logplain |
| -rw-r--r-- | Problem9.agda | 4570 | logplain |
 |
index : yellowsquid/advent-of-proof/2024.git | |
| [no description] | Chloe Brown |
| summaryrefslogtreecommitdiff |