| Designed by | Norman D. Megill |
|---|---|
| Type | proof assistant, proof verifier, proof language, free software, website |
| License | GNU General Public License |
| Latest version | 0.198 |
| Website | metamath.org |
| Operating systems | Linux, MacOS, Microsoft Windows |
Sources: Wikidata (CC0) · Wikidata Q6822975