3 ms·Side note: Formal theorem proving is even more rare than formal model checking..!by BitsAndObjects 8mo agoSide note: Formal theorem proving is even more rare than formal model checking..!