portfolio/_posts/2023-02-05-bookshelf.md

14 lines
452 B
Markdown
Raw Normal View History

2023-12-17 15:16:04 +00:00
---
layout: post
title: Bookshelf
categories: home
2023-12-24 05:00:26 +00:00
tags: [latex, lean, nix]
2023-12-17 15:16:04 +00:00
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"}.