Programy według afp.sf.net

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łosz