Metamath 4+
William Hale
iPad के लिए डिज़ाइन किया गया
-
- मुफ़्त
iPad स्क्रीनशॉट
विवरण
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 about Metamath, see the web site us.metamath.org or one of its mirror sites.
For a demo of this app, see the youtube video at the url https://www.youtube.com/watch?v=qTOUBEACTz4&list=PLoh8e3Knr9WIEK55cIKwQe5e8CBpA3_ks
क्या नया है
संस्करण 2.0.0
Updated theorems and proofs as of September 2023.
ऐप गोपनीयता
डेवलपर William Hale ने बताया है कि ऐप के गोपनीयता संबंधी व्यवहारों में नीचे दिए गए वर्णन के अनुसार डेटा का उपयोग शामिल हो सकता है। अधिक जानकारी के लिए डेवलपर की गोपनीयता नीति देखें।
डेटा एकत्रित नहीं किया जाता है
डेवलपर इस ऐप से कोई भी डेटा एकत्रित नहीं करता है।
गोपनीयता संबंधी तौर-तरीक़े अलग-अलग हो सकते हैं; उदाहरण के तौर पर, वे आपके द्वारा उपयोग किए जाने वाले फ़ीचर्स या आपकी उम्र के आधार पर विभिन्न हो सकते हैं। अधिक जानें
जानकारी
- प्रदाता
- William Hale
- आकार
- 220.7 MB
- श्रेणी
- शिक्षा
- संगतता
-
- iPad
- iPadOS 12.4 या बाद का संस्करण आवश्यक है।
- Mac
- macOS 11.0 या बाद का संस्करण और Apple M1 चिप या बाद के संस्करण वाले Mac की आवश्यकता है।
- Apple Vision
- visionOS 1.0 या बाद का संस्करण आवश्यक है।
- भाषाएँ
-
अंग्रेज़ी
- उम्र रेटिंग
- 4+
- कॉपीराइट
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- मूल्य
- मुफ़्त