68V20 Formalization of mathematics in connection with theorem provers

MSC > 68Vxx Computer science support for mathematical research and practice > 68V20 Formalization of mathematics in connection with theorem provers

Donner son avis