3 ms·
> in fact, specifically the version of the proof assistant that the "script" was originally written for Are Isar updates guaranteed not to break proofs?
by creata 3y ago
> in fact, specifically the version of the proof assistant that the "script" was originally written for
Are Isar updates guaranteed not to break proofs?