Metamath (Q6822975)
Jump to navigation
Jump to search
Formal language and associated computer program
- Metamath Proof Explorer
- metamath.org
Language | Label | Description | Also known as |
---|---|---|---|
English | Metamath |
Formal language and associated computer program |
|
Statements
0.181
12 February 2020
1 reference
29 June 2021
Release 0.181 (English)
12 February 2020
0.182
12 April 2020
1 reference
29 June 2021
Release 0.182 (English)
12 April 2020
0.183
30 June 2020
1 reference
29 June 2021
Release 0.183 (English)
30 June 2020
0.184
19 July 2020
1 reference
29 June 2021
Release 0.184 (English)
19 July 2020
0.185
7 August 2020
1 reference
29 June 2021
Release 0.185 (English)
7 August 2020
0.186
9 August 2020
1 reference
29 June 2021
Release 0.186 (English)
9 August 2020
0.187
17 August 2020
1 reference
29 June 2021
Release 0.187 (English)
17 August 2020
0.188
23 August 2020
1 reference
29 June 2021
Release 0.188 (English)
23 August 2020
0.189
4 September 2020
1 reference
29 June 2021
Release 0.189 (English)
4 September 2020
0.190
5 September 2020
1 reference
29 June 2021
Release 0.190 (English)
5 September 2020
0.191
5 September 2020
1 reference
29 June 2021
Release 0.191 (English)
5 September 2020
0.192
5 September 2020
1 reference
29 June 2021
Release 0.192 (English)
5 September 2020
0.193
12 September 2020
1 reference
29 June 2021
Release 0.193 (English)
12 September 2020
0.194
27 December 2020
1 reference
29 June 2021
Release 0.194 (English)
27 December 2020
0.195
30 December 2020
1 reference
29 June 2021
Release 0.195 (English)
30 December 2020
0.196
2 January 2021
1 reference
29 June 2021
Release 0.196 (English)
2 January 2021
0.197
2 August 2021
1 reference
27 July 2022
Release 0.197 (English)
7 August 2021
0.198
7 August 2021
1 reference
27 July 2022
Release 0.198 (English)
8 August 2021
0.06b
30 June 1998
2,394,814
30 November 2017
1 reference