# Metamath

> Formal language and associated computer program

**Wikidata**: [Q6822975](https://www.wikidata.org/wiki/Q6822975)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Metamath)  
**Source**: https://4ort.xyz/entity/metamath


## References

1. [Release 0.181. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.181)
2. [Release 0.182. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.182)
3. [Release 0.183. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.183)
4. [Release 0.184. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.184)
5. [Release 0.185. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.185)
6. [Release 0.186. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.186)
7. [Release 0.187. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.187)
8. [Release 0.188. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.188)
9. [Release 0.189. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.189)
10. [Release 0.190. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.190)
11. [Release 0.191. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.191)
12. [Release 0.192. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.192)
13. [Release 0.193. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.193)
14. [Release 0.194. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.194)
15. [Release 0.195. 2020](https://github.com/metamath/metamath-exe/releases/tag/v0.195)
16. [Release 0.196. 2021](https://github.com/metamath/metamath-exe/releases/tag/v0.196)
17. [Release 0.197. 2021](https://github.com/metamath/metamath-exe/releases/tag/v0.197)
18. [Release 0.198. 2021](https://github.com/metamath/metamath-exe/releases/tag/v0.198)
19. [Source](https://github.com/metamath/metamath-exe/blob/88f16bc74d816f4f73eeedec28c8063397f9c70b/metamath.c)
20. [Alexa Internet](https://www.alexa.com/siteinfo/http://metamath.org)
21. Quora