Programma's van afp.sf.net

Het Archief van Formele Bewijzen is een verzameling van bewijsbibliotheken, voorbeelden en grotere scientifc-ontwikkelingen, mechanisch gecontroleerd in de stellingskundeprover Isabelle. Het is georganiseerd in de weg van een