![](/statics/img/blank.png)
Archive of Formal Proofs 2011
Licenza: Gratuito Dimensioni del file: N/A
Valutazione utenti: 4.0/5 - 1 Voti
Attendere prego... Il tuo link per il download è in fase di verifica per contenuti dannosi.
Sarai in grado di scaricare in 5 secondi.
Sarai in grado di scaricare in 5 secondi.
Circa Archive of Formal Proofs
L'Archivio delle dimostrazioni formali è una raccolta di librerie di dimostrazioni, esempi e più grandi sviluppi scientifc, controllati meccanicamente nel dimostratore di teoremi Isabelle. È organizzato sulla base di una rivista scientifica. Le iscrizioni sono arbitre.