- Metamath
- iOS Apps: Læring Ved: William Hale
- Gratis
- Lister: 0 + 0 Rangeringer: 0 Anmeldelser: 0
- Point: 0 + 0 Version: 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 ... ⥯
≡