#RewriteItInLean!
| Name | Description |
|---|---|
| Dafny Proof of False | Don’t use Dafny, it’s unsound! |
| leanime | Bad Apple!! but it’s 3288 Lean tactics spamming VSCode |
| SDC | Includes a formally verified Fenwick tree library |
#RewriteItInLean!
| Name | Description |
|---|---|
| Dafny Proof of False | Don’t use Dafny, it’s unsound! |
| leanime | Bad Apple!! but it’s 3288 Lean tactics spamming VSCode |
| SDC | Includes a formally verified Fenwick tree library |