4 ms·Big news for interactive theorem provers!by _delirium 3y agoBig news for interactive theorem provers!