Sophia-Antipolis/geometry: vecchio nucleo troppo lento
coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempos.con
Sophia-Antipolis/geometry: vecchio nucleo troppo lento
coq: nuovo nucleo mooooolto lento in guarded by: cic:/Coq/ZArith/Zsqrt/sqrtrempos.con
-orsay: nuovo nucleo
-Rocq/TreeAutomata nuovo nucleo
-Sophia-Antipolis/Bertrand: nuovo nucleo
-Sophia-Antipolis/Buchberger: nuovo nucleo
+orsay: nuovo nucleo diverge (vedi sopra)
+Sophia-Antipolis/Buchberger: nuovo nucleo diverge
Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo
Sophia-Antipolis/Algebra: vecchio nucleo variabili
lyon.ok: vecchio nucleo, variabili
Rocq/ALGEBRA/CATEGORY_THEORY: vecchio nucleo
Sophia-Antipolis/Algebra: vecchio nucleo variabili
lyon.ok: vecchio nucleo, variabili
lannion: nuovo nucleo impredicative set
lyon.impredicative_set: nuovo nucleo impredicative set. Altro?
lannion: nuovo nucleo impredicative set
lyon.impredicative_set: nuovo nucleo impredicative set. Altro?