+++
title = "Variable Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1c", "3d2b1b"]
forwardlinks = ["3d2b1e"]
zettelid = "3d2b1d"
+++

This contains various uninterpreted variables together with their type.