Thread Index
(0210)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:18 2021
43 threaded messages
Re: [mizar] structures,
Josef Urban
[mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- Re: [mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- Re: [mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- Re: [mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- Re: [mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
- Re: [mizar] Why do Mizar types have to be non-empty?,
Andrzej Trybulec
- [mizar] Mizar-like proof machine,
PbIKOB__B.B.
- Re: [mizar] Mizar-like proof machine,
Andrzej Trybulec
- Re[2]: [mizar] Mizar-like proof machine,
PbIKOB__B.B.
- Re: [mizar] Mizar-like proof machine,
Andrzej Trybulec
- Re[2]: [mizar] Mizar-like proof machine,
PbIKOB__B.B.
- Re: [mizar] Why do Mizar types have to be non-empty?,
Freek Wiedijk
[mizar] New Mizar articles,
Adam Grabowski
[mizar] Euclid's Elements,
Piotr Rudnicki
[mizar] Russia online,
PbIKOB__B.B.
[Chronological Index]
[Top]