
Metamath 4+
William Hale
iPad için tasarlandı
-
- Ücretsiz
iPad Ekran Görüntüleri
Açıklama
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
Yenilikler
Sürüm 2.0.0
Updated theorems and proofs as of September 2023.
Uygulama Gizliliği
William Hale adlı geliştirici, uygulamanın gizlilik politikasına göre verilerin aşağıda açıklandığı gibi işlenebileceğini bildirdi. Daha fazla bilgi için geliştiricinin gizlilik politikası bölümüne bakın.
Veriler Toplanmaz
Geliştirici, bu uygulamadan herhangi bir veri toplamaz.
Gizlilik uygulamaları, kullandığınız özellikler veya yaşınız gibi faktörlere göre değişiklik gösterebilir. Ayrıntılı Bilgi
Bilgi
- Sağlayıcı
- William Hale
- Boyut
- 220,7 MB
- Kategori
- Eğitim
- Uyumluluk
-
- iPad
- iPadOS 12.4 veya üst sürümünü gerektirir.
- Mac
- macOS 11.0 veya üst sürümünü ve Apple M1 veya üzeri çipe sahip bir Mac gerektirir.
- Apple Vision
- visionOS 1.0 veya üst sürümünü gerektirir.
- Diller
-
İngilizce
- Yaş Sınırı
- 4+
- Telif Hakkı
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Fiyat
- Ücretsiz