Posts tagged with "proof-assistant"
For more tags, see here.
| Date | Title | Description |
|---|---|---|
| Learn Lean | Learn how to use an advanced programming language to solve mathematical puzzles and verify them. |
For more tags, see here.
| Date | Title | Description |
|---|---|---|
| Learn Lean | Learn how to use an advanced programming language to solve mathematical puzzles and verify them. |