3 ms·Sounds like a suitable task for formal verification languages like Coq and Isabelle.by birktj 6y agoSounds like a suitable task for formal verification languages like Coq and Isabelle.