Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
Constructive_sets.v
Sprache: Coq
|
The copyright notice contained in the *.siv, *.fdl, and *.rls files in
the example subdirectories refers to the tools that have been used to
generate the files, but not to the files themselves.
[ Seitenstruktur0.2Drucken
etwas mehr zur Ethik
]
|
|
