![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| 5-Increasing-Proof0.dfy | 2025-08-24 23:04 | 229 | |
| 5-Increasing-Proof1.dfy | 2025-08-24 23:04 | 245 | |
| 5-Increasing-Proof2.dfy | 2025-08-24 23:04 | 244 | |
| 5-Increasing-Proof3.dfy | 2025-08-24 23:04 | 654 | |
| 5-Increasing-Proof4.dfy | 2025-08-24 23:04 | 507 | |
| 5-Increasing-Proof5.dfy | 2025-08-24 23:04 | 523 | |
| 5-Increasing-Proof6.dfy | 2025-08-24 23:04 | 603 | |
| 5-Increasing-Proof7.dfy | 2025-08-24 23:04 | 621 | |
| 5-Increasing-Proof8.dfy | 2025-08-24 23:04 | 624 | |
| 5-Increasing-Proof9.dfy | 2025-08-24 23:04 | 661 | |
| 5-Increasing.dfy | 2025-08-24 23:04 | 399 | |
| 5.4-Calc.dfy | 2025-08-24 23:04 | 1.1K | |
| 5.4.0-Ack.dfy | 2025-08-24 23:04 | 516 | |
| 5.5-Reduce.dfy | 2025-08-24 23:04 | 953 | |
| 5.6-Mult.dfy | 2025-08-24 23:04 | 828 | |
| 5.7-Mirror.dfy | 2025-08-24 23:04 | 1.4K | |
| 5.8-AST.dfy | 2025-08-24 23:04 | 3.8K | |
| 5.8.0-EvalSubstituteList.dfy | 2025-08-24 23:04 | 2.7K | |