Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Rossel, Marcus"'
Autor:
Rossel, Marcus, Goens, Andrés
Interactive theorem provers, like Isabelle/HOL, Coq and Lean, have expressive languages that allow the formalization of general mathematical objects and proofs. In this context, an important goal is to reduce the time and effort needed to prove theor
Externí odkaz:
http://arxiv.org/abs/2405.10188
