TY  - RPRT
TI  - Arithmetic in Metamath, Case Study: Bertrand's Postulate
AU  - Mario Carneiro
PY  - 2015
UR  - https://arxiv.org/abs/1503.02349
ID  - 1503.02349
ER  -