Parent Categories/Forums:
Math Software
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
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Thread (180 Threads) | Rating | Replies | Last Message | |||||
|---|---|---|---|---|---|---|---|---|
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
4 |
|
||||||
|
2 |
|
||||||
|
2 |
|
||||||
|
54 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
2 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
5 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
3 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
5 |
|
||||||
|
0 |
|
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Free embeddable forum powered by Nabble | Forum Help |
