TY  - RPRT
TI  - Formalizing Elements of Probabilistic Mechanics
AU  - Farida Kachapova
AU  - Ilias Kachapov
PY  - 2022
UR  - https://arxiv.org/abs/2203.01390
ID  - 2203.01390
ER  -