| Subject | From | # of followups |
|---|---|---|
| [mizar] proof co-occurrence graph | Josef Urban | 0 |
| [mizar] Final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call) | Aleksy Schubert | 0 |
| [mizar] Mizar - Trybulec = ... | Adam Naumowicz | 1 |
| [mizar] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th) | Hugo Herbelin | 0 |
| Re: [mizar] Mizar - Trybulec = ... | Adam Naumowicz | 0 |