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