Rocq/AILS: type-checking vecchio nucleo troppo lento
Rocq/COC: type-checking vecchio nucleo troppo lento
nijmegen: type-checking vecchio nucleo troppo lento
Rocq/TreeAutomata vecchio nucleo troppo lento
orsay: type-checking vecchio nucleo troppo lento
Rocq/AILS: type-checking vecchio nucleo troppo lento
Rocq/COC: type-checking vecchio nucleo troppo lento
nijmegen: type-checking vecchio nucleo troppo lento
Rocq/TreeAutomata vecchio nucleo troppo lento
orsay: type-checking vecchio nucleo troppo lento