TY  - RPRT
TI  - Mechanization of scalar field theory in 1+1 dimensions
AU  - Filip Blaschke
AU  - Ondřej Nicolas Karpíšek
PY  - 2022
UR  - https://arxiv.org/abs/2202.05675
ID  - 2202.05675
ER  -