-
Lernen Sie COQ Schritt für Schritt
-
SOURCES:
-
COMPILATION:
-
create a _CoqProject file
$> echo "-Q . PROJECTNAME" >> _CoqProject
-
with MakeFile
$> coq_makefile -f _CoqProject -o Makefile *.v
-
without MakeFile
$> coqc -Q . PROJECTNAME FILENAME.v
-
Learn Dependently Typed FL
Lernen Sie COQ Schritt für Schritt
SOURCES:
COMPILATION:
create a _CoqProject file
$> echo "-Q . PROJECTNAME" >> _CoqProjectwith MakeFile
$> coq_makefile -f _CoqProject -o Makefile *.vwithout MakeFile
$> coqc -Q . PROJECTNAME FILENAME.vLearn Dependently Typed FL