- Metamath
- iOS Aplikace: Vzdělávání Podle: William Hale
- Zdarma
- Seznamy: 0 + 0 Hodnocení: 0 Recenze: 0
- Body: 0 + 0 Verze: 2.0.0 This app allows you to view the Metamath theorems and their proofs. It has no ads or in-app purchases. Metamath is a system for formalizing and verifying math proofs. For information ...