Programas por afp.sf.net

O Arquivo de Provas Formais é uma coleção de bibliotecas de provas, exemplos e maiores desenvolvimentos scientifc, mecanicamente verificados no teorema da prova Isabelle. É organizado no caminho de uma revista científica. As