Attention: Maintenance on monday 19.04.2021 from 07:00 - 13:00 (Gitlab and Mattermost are offline!)

Commit 2fa3a103 authored by Michael Kohlhase's avatar Michael Kohlhase

started list

parent 8f3fa19d
#### A list of mathematical idioms
# We use <A>, <B>, ... and as meta-variables and [,] to mark optional parts.
We call <A> <B> [(written <C>)]
If <A>, ...
If <A>, then <B>.
<A> iff <B>
Let <A> be <R>, then
<A>, hence <B>.
we have $<A>$
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment