14 lines
452 B
Markdown
14 lines
452 B
Markdown
---
|
|
layout: post
|
|
title: Bookshelf
|
|
categories: home
|
|
tags: [lean, latex, nix]
|
|
href: "https://bookshelf.jrpotter.com"
|
|
image: 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](https://lean-lang.org/){:target="_blank"} interactive theorem prover. All
|
|
proofs are also available in [LaTeX](https://www.latex-project.org/){:target="_blank"}.
|