2 ms·

Did anyone try to connect it to a proof assistant?