TY  - RPRT
TI  - Automatic Theorem Proving in Walnut
AU  - Hamoon Mousavi
PY  - 2021
UR  - https://arxiv.org/abs/1603.06017
ID  - 1603.06017
ER  -