Open Internet by MindsNet

Isabelle/HOL

Higher-order logic theorem proving with industrial applications

Mathematics & logic, Mathematics, Mathematical Logic