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