Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Quemener, Maena"'
Interactive Theorem Provers (ITPs) are an indispensable tool in the arsenal of formal method experts as a platform for construction and (formal) verification of proofs. The complexity of the proofs in conjunction with the level of expertise typically
Externí odkaz:
http://arxiv.org/abs/2304.10486
