---
title: "Metamath - Reviews, Revenue and Downloads in Australia | Apple App Store"
description: "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, "
---

# Metamath — Australia

![Metamath App Icon](https://is1-ssl.mzstatic.com/image/thumb/Purple126/v4/76/b0/e6/76b0e6cd-8ce4-570a-d996-913188f550f6/AppIcon-0-0-1x_U007emarketing-0-0-0-5-0-0-sRGB-0-0-0-GLES2_U002c0-512MB-85-220-0-0.png/434x0w.png)

**Developer:** [William Hale](https://apptail.io/developer/william-hale-jCuc)
**Category:** Education
**Rating:** N/A (0 ratings)
**Price:** Free
**Bundle ID:** com.gmail.billh04.Metamath
**Store:** Apple App Store
**Country:** Australia
**Version:** 2.0.0 (released 2023-09-18)
**Original Release:** 2018-02-27
**Languages:** English

**App Store Link:** [Download on Apple App Store](https://apps.apple.com/au/app/app/id1348593713)
**AppTail Page:** [https://apptail.io/app/metamath-ClBl/australia](https://apptail.io/app/metamath-ClBl/australia)

## Metamath Description
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 

## Metamath Screenshots
- [Screenshot 1](https://is1-ssl.mzstatic.com/image/thumb/PurpleSource116/v4/3c/2a/f8/3c2af851-07f6-1347-8462-1c5d6e6dcd41/8833f562-2012-4d05-bbd9-168740975d23_Metamath_Statement_Screenshot_2.0.0.png/2732x2048.png)
- [Screenshot 2](https://is1-ssl.mzstatic.com/image/thumb/PurpleSource116/v4/69/75/d5/6975d512-019b-3719-5cff-577fce6fa064/07c553cb-67f2-46e8-b7ab-ec9404361859_Metamath_Claim_Screenshot_2.0.0.png/2732x2048.png)







## Metamath Available In
- [Australia](https://apptail.io/app/metamath-ClBl/australia)
- [Belgium](https://apptail.io/app/metamath-ClBl/belgium)
- [China](https://apptail.io/app/metamath-ClBl/china)
- [Colombia](https://apptail.io/app/metamath-ClBl/colombia)
- [Czechia](https://apptail.io/app/metamath-ClBl/czechia)
- [Germany](https://apptail.io/app/metamath-ClBl/germany)
- [Denmark](https://apptail.io/app/metamath-ClBl/denmark)
- [Ecuador](https://apptail.io/app/metamath-ClBl/ecuador)
- [Egypt](https://apptail.io/app/metamath-ClBl/egypt)
- [France](https://apptail.io/app/metamath-ClBl/france)
- [United Kingdom](https://apptail.io/app/metamath-ClBl/united-kingdom)
- [Greece](https://apptail.io/app/metamath-ClBl/greece)
- [Hong Kong SAR China](https://apptail.io/app/metamath-ClBl/hong-kong)
- [Indonesia](https://apptail.io/app/metamath-ClBl/indonesia)
- [Ireland](https://apptail.io/app/metamath-ClBl/ireland)
- [India](https://apptail.io/app/metamath-ClBl/india)
- [Italy](https://apptail.io/app/metamath-ClBl/italy)
- [Japan](https://apptail.io/app/metamath-ClBl/japan)
- [Kazakhstan](https://apptail.io/app/metamath-ClBl/kazakhstan)
- [Lebanon](https://apptail.io/app/metamath-ClBl/lebanon)
- [Malaysia](https://apptail.io/app/metamath-ClBl/malaysia)
- [Nigeria](https://apptail.io/app/metamath-ClBl/nigeria)
- [New Zealand](https://apptail.io/app/metamath-ClBl/new-zealand)
- [Philippines](https://apptail.io/app/metamath-ClBl/philippines)
- [Poland](https://apptail.io/app/metamath-ClBl/poland)
- [Russia](https://apptail.io/app/metamath-ClBl/russia)
- [Saudi Arabia](https://apptail.io/app/metamath-ClBl/saudi-arabia)
- [Singapore](https://apptail.io/app/metamath-ClBl/singapore)
- [Thailand](https://apptail.io/app/metamath-ClBl/thailand)
- [Taiwan](https://apptail.io/app/metamath-ClBl/taiwan)
- [Ukraine](https://apptail.io/app/metamath-ClBl/ukraine)
- [United States](https://apptail.io/app/metamath-ClBl/united-states)
- [Vietnam](https://apptail.io/app/metamath-ClBl/vietnam)
- [South Africa](https://apptail.io/app/metamath-ClBl/south-africa)

---

## About AppTail

[AppTail](https://apptail.io) is a mobile app intelligence platform providing app analytics, ASO (App Store Optimization) tools, keyword tracking, competitor analysis, revenue estimates, and review monitoring for iOS App Store apps. Track your app's performance, discover ranking keywords, monitor competitors, and analyze market trends.

- [Search Apps](https://apptail.io)
- [Top Charts](https://apptail.io/top-iphone-apps)
- [Sign Up for Full Access](https://app.apptail.io/signup?utm_campaign=ai-crawl&utm_content=footer)

*Data provided by [AppTail](https://apptail.io) - Mobile App Intelligence Platform*