4e6.md « zettel « content - zk-web - Unnamed repository; edit this file 'description' to name the repository.

summary refs log tree commit diff stats

path: root/content/zettel/4e6.md

blob: 382b4ef5a138a1ee55514d2ee9cef4ad4abaf32f (plain)

+++
title = "Proof Theory"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["4e5"]
forwardlinks = []
zettelid = "4e6"
+++