Thread Index
(1309)
[Chronological Index]
[Top]
Last update: Thu Dec 16 20:23:41 2021
5 threaded messages
[mizar] proof co-occurrence graph,
Josef Urban
[mizar] Final CFP Post-proceedings TYPES 2013 Types for Proofs and Programs (open call),
Aleksy Schubert
[mizar] Mizar - Trybulec = ...,
Adam Naumowicz
[mizar] "Semantics of proofs and certified mathematics", IHP trimester, Paris, spring 2014: final call for financial support requests (deadline Sep 23th),
Hugo Herbelin
[Chronological Index]
[Top]