3d2.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/3d2.md

blob: 4d34b521bc0c631120e963e3d73f13e7348b8294 (plain)

+++
title = "Automatic theorem provers"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d1"]
forwardlinks = ["3d2a"]
zettelid = "3d2"
+++