blob: 9d5b8b073cbb2d06022528dbbf67cf27f6c98835 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
+++
title = "Operation Table"
date = "2022-08-08"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3d2b1b"]
forwardlinks = ["3d2b1d"]
zettelid = "3d2b1c"
+++
This table consists of various uninterpreted functions that are used
within the theories, together with their types.
|