Parent Categories/Forums:
None
Mizar
This forum is an archive for the mailing list: mizar-forum@mizar.uwb.edu.pl
(mailing list options).
Messages posted here will be sent to this mailing list.
The Mizar program for verifying the correctness of mathematical proofs, and its library of verified proofs
To migrate this forum to the new Nabble2 system,
please post a request in the Nabble Support forum
— Learn more
| Thread (191 Threads) | Rating | Replies | Last Message | |||||
|---|---|---|---|---|---|---|---|---|
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
5 |
|
||||||
|
3 |
|
||||||
|
4 |
|
||||||
|
4 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
3 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
3 |
|
||||||
|
13 |
|
||||||
|
8 |
|
||||||
|
0 |
|
||||||
|
6 |
|
||||||
|
0 |
|
||||||
|
5 |
|
||||||
|
0 |
|
||||||
|
5 |
|
| Free embeddable forum powered by Nabble | Forum Help |
