416 B
416 B
| layout | title | categories | tags | href | image | |||
|---|---|---|---|---|---|---|---|---|
| post | Bookshelf | home |
|
https://bookshelf.jrpotter.com | lean.svg |
A collection of books I am actively studying. Usually mathematics or computer-science based, I aim to prove concepts as I encounter them using the Lean interactive theorem prover. All proofs are also available in LaTeX.