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 (146 Threads) | Rating | Replies | Last Message | |||||
|---|---|---|---|---|---|---|---|---|
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
47 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
1 |
|
||||||
|
1 |
|
||||||
|
12 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
10 |
|
||||||
|
11 |
|
||||||
|
4 |
|
||||||
|
1 |
|
||||||
|
1 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
0 |
|
||||||
|
1 |
|
||||||
|
5 |
|
||||||
|
3 |
|
||||||
|
4 |
|
||||||
|
4 |
|
||||||
|
2 |
|
||||||
|
0 |
|
|
« Newest
‹ Newer
— Threads 1-35 —
Older ›
|
| Free Forum Powered by Nabble | Forum Help |