Programmi di afp.sf.net

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 rivi