Posts tagged with "proof-assistant"
For more tags, see here.
| Date | Title | Description |
|---|---|---|
| Solving puzzles with Lean | Solve logical puzzles with the Lean theorem prover. |
For more tags, see here.
| Date | Title | Description |
|---|---|---|
| Solving puzzles with Lean | Solve logical puzzles with the Lean theorem prover. |