| Subject | From | # of followups |
|---|---|---|
| [mizar] How to prove equivalences? | Freek Wiedijk | 0 |
| [mizar] PLMMS 2009: First Call for Papers | Makarius | 0 |
| [mizar] Calculemus 2009 - Emerging Trends track CFP | Jacques Carette | 0 |
| [mizar] Coq in Clear Thursday | PbIKOB__B.B. | 1 |
| Re: [mizar] Coq in Clear Thursday | trybulec | 0 |
| [mizar] My automated theorem proving textbook is now available | John Harrison | 0 |
| [mizar] PLMMS 2009: Last CFP | Makarius | 0 |