Archive of Formal Proofs 2011
Licencji: Wolna Rozmiar pliku: N/A
Ocena użytkowników: 4.0/5 - 1 Głosów
Czekaj... Link do pobrania jest weryfikowany pod kątem złośliwej zawartości.
Pobieranie będzie można pobrać w ciągu 5 sekund.
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Archive of Formal Proofs
Archiwum Dowodów Formalnych to zbiór bibliotek dowodowych, przykładów i większych wydarzeń scjentologicznych, mechanicznie sprawdzonych w przyswoje przysłowie Isabelle. Jest zorganizowany w sposób czasopisma naukowego. Zgłoszenia są sędziować.