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 МБ
- Категория
- Образование
- Совместимость
-
- iPad
- Требуется iPadOS 12.4 или новее.
- Mac
- Требуется macOS 11.0 или новее и компьютер Mac с чипом Apple M1 или новее.
- Apple Vision
- Требуется visionOS 1.0 или новее.
- Языки
-
английский
- Возраст
- 4+
- Copyright
- © Copyright (C) 2018 William Hale. All Rights Reserved.
- Цена
- Бесплатно