Metamath

Education

Free · Designed for 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

Ratings & Reviews

  • This app has not received enough ratings or reviews to display an overview.

Updated theorems and proofs as of September 2023.

Version 2.0.0

The developer, William Hale, indicated that the app’s privacy practices may include handling of data as described below. For more information, see the developer’s privacy policy .

  • Data Not Collected

    The developer does not collect any data from this app.

    Privacy practices may vary based, for example, on the features you use or your age. Learn More

    Accessibility

    The developer has not yet indicated which accessibility features this app supports. Learn More

    Information

    • Provider
      • William Hale
    • Size
      • 220.7 MB
    • Category
      • Education
    • Compatibility
      Requires iPadOS 12.4 or later.
      • iPad
        Requires iPadOS 12.4 or later.
      • Mac
        Requires macOS 11.0 or later and a Mac with Apple M1 chip or later.
      • Apple Vision
        Requires visionOS 1.0 or later.
    • Languages
      • English
    • Age Rating
      4+
    • Copyright
      • © Copyright (C) 2018 William Hale. All Rights Reserved.
  • Developer Website
  • Privacy Policy

    • More by William Hale

    You Might Also Like