-
Andrei Paskevich authored
not updated: - stdlib/array - the proof is broken - ring_decision/ - not replayed, proof broken - in_progress/, util/, prover/bench/ - not replayed
1de56fdb
MAJ en 17.0.1 terminée.
La release note principale concernant cette MAJ est ici:
not updated: - stdlib/array - the proof is broken - ring_decision/ - not replayed, proof broken - in_progress/, util/, prover/bench/ - not replayed