Telecharger Cours

Automated Theorem Proving for Metamath - DROPS

We show that state-of-the-art ATPs can prove 68% of the Metamath problems automatically when using the premises that were used in the human- ...



Download