├── .gitignore ├── LICENSE ├── README.md ├── install.md ├── notes └── lf │ ├── AltAuto.v │ ├── Basics.pptx │ ├── Basics.v │ ├── CoqMakefile.conf │ ├── IndPrinciples.v │ ├── IndProp.v │ ├── Induction.v │ ├── LICENSE │ ├── Lists.v │ ├── Logic.v │ ├── Makefile │ ├── Makefile.conf │ ├── Poly.v │ ├── Postscript.v │ ├── Preface.pptx │ ├── Preface.v │ ├── ProofObjects.v │ ├── Tactics.v │ └── _CoqProject └── textbook └── lf ├── .gitignore ├── AltAuto.html ├── AltAuto.v ├── AltAutoTest.v ├── Auto.html ├── Auto.v ├── AutoTest.v ├── Basics.html ├── Basics.v ├── BasicsTest.v ├── Bib.html ├── Bib.v ├── BibTest.v ├── Extraction.html ├── Extraction.v ├── ExtractionTest.v ├── Imp.html ├── Imp.v ├── ImpCEvalFun.html ├── ImpCEvalFun.v ├── ImpCEvalFunTest.v ├── ImpParser.html ├── ImpParser.v ├── ImpParserTest.v ├── ImpTest.v ├── IndPrinciples.html ├── IndPrinciples.v ├── IndPrinciplesTest.v ├── IndProp.html ├── IndProp.v ├── IndPropTest.v ├── Induction.html ├── Induction.v ├── InductionTest.v ├── LICENSE ├── Lists.html ├── Lists.v ├── ListsTest.v ├── Logic.html ├── Logic.v ├── LogicTest.v ├── Makefile ├── Maps.html ├── Maps.v ├── MapsTest.v ├── Poly.html ├── Poly.v ├── PolyTest.v ├── Postscript.html ├── Postscript.v ├── PostscriptTest.v ├── Preface.html ├── Preface.v ├── PrefaceTest.v ├── ProofObjects.html ├── ProofObjects.v ├── ProofObjectsTest.v ├── README ├── Rel.html ├── Rel.v ├── RelTest.v ├── Tactics.html ├── Tactics.v ├── TacticsTest.v ├── _CoqProject ├── common ├── css │ ├── jscoq.css │ ├── lf.css │ ├── plf.css │ ├── qc.css │ ├── sf.css │ ├── slf.css │ ├── slides.css │ ├── vc.css │ └── vfa.css ├── jquery-ui │ ├── AUTHORS.txt │ ├── LICENSE.txt │ ├── external │ │ └── jquery │ │ │ └── jquery.js │ ├── images │ │ ├── ui-icons_444444_256x240.png │ │ ├── ui-icons_555555_256x240.png │ │ ├── ui-icons_777620_256x240.png │ │ ├── ui-icons_777777_256x240.png │ │ ├── ui-icons_cc0000_256x240.png │ │ └── ui-icons_ffffff_256x240.png │ ├── index.html │ ├── jquery-ui.css │ ├── jquery-ui.js │ ├── jquery-ui.min.css │ ├── jquery-ui.min.js │ ├── jquery-ui.structure.css │ ├── jquery-ui.structure.min.css │ ├── jquery-ui.theme.css │ ├── jquery-ui.theme.min.css │ └── package.json ├── jscoq.js ├── media │ ├── font │ │ ├── Open-Sans-300 │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-300.eot │ │ │ ├── Open-Sans-300.svg │ │ │ ├── Open-Sans-300.ttf │ │ │ ├── Open-Sans-300.woff │ │ │ └── Open-Sans-300.woff2 │ │ ├── Open-Sans-300italic │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-300italic.eot │ │ │ ├── Open-Sans-300italic.svg │ │ │ ├── Open-Sans-300italic.ttf │ │ │ ├── Open-Sans-300italic.woff │ │ │ └── Open-Sans-300italic.woff2 │ │ ├── Open-Sans-600 │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-600.eot │ │ │ ├── Open-Sans-600.svg │ │ │ ├── Open-Sans-600.ttf │ │ │ ├── Open-Sans-600.woff │ │ │ └── Open-Sans-600.woff2 │ │ ├── Open-Sans-600italic │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-600italic.eot │ │ │ ├── Open-Sans-600italic.svg │ │ │ ├── Open-Sans-600italic.ttf │ │ │ ├── Open-Sans-600italic.woff │ │ │ └── Open-Sans-600italic.woff2 │ │ ├── Open-Sans-700 │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-700.eot │ │ │ ├── Open-Sans-700.svg │ │ │ ├── Open-Sans-700.ttf │ │ │ ├── Open-Sans-700.woff │ │ │ └── Open-Sans-700.woff2 │ │ ├── Open-Sans-700italic │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-700italic.eot │ │ │ ├── Open-Sans-700italic.svg │ │ │ ├── Open-Sans-700italic.ttf │ │ │ ├── Open-Sans-700italic.woff │ │ │ └── Open-Sans-700italic.woff2 │ │ ├── Open-Sans-800 │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-800.eot │ │ │ ├── Open-Sans-800.svg │ │ │ ├── Open-Sans-800.ttf │ │ │ ├── Open-Sans-800.woff │ │ │ └── Open-Sans-800.woff2 │ │ ├── Open-Sans-800italic │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-800italic.eot │ │ │ ├── Open-Sans-800italic.svg │ │ │ ├── Open-Sans-800italic.ttf │ │ │ ├── Open-Sans-800italic.woff │ │ │ └── Open-Sans-800italic.woff2 │ │ ├── Open-Sans-italic │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-italic.eot │ │ │ ├── Open-Sans-italic.svg │ │ │ ├── Open-Sans-italic.ttf │ │ │ ├── Open-Sans-italic.woff │ │ │ └── Open-Sans-italic.woff2 │ │ └── Open-Sans-regular │ │ │ ├── LICENSE.txt │ │ │ ├── Open-Sans-regular.eot │ │ │ ├── Open-Sans-regular.svg │ │ │ ├── Open-Sans-regular.ttf │ │ │ ├── Open-Sans-regular.woff │ │ │ └── Open-Sans-regular.woff2 │ └── image │ │ ├── arrow_down.jpg │ │ ├── arrow_right.jpg │ │ ├── core_mem_bg.jpg │ │ ├── core_mem_hdr_bg.jpg │ │ ├── lf_icon.jpg │ │ ├── logical_foundations_bg.jpg │ │ ├── plf_icon.jpg │ │ ├── prog_lang_bg.jpg │ │ ├── qc_bg.jpg │ │ ├── qc_icon.jpg │ │ ├── sf_logo_lg.png │ │ ├── sf_logo_sm.png │ │ ├── slf-bg-original.jpg │ │ ├── slf-bg.jpg │ │ ├── slf-icon.png │ │ ├── vc-bg.jpg │ │ ├── vc-icon.png │ │ ├── verified_bg.jpg │ │ └── vfa_icon.jpg ├── slides.js └── toggleproofs.js ├── coqindex.html ├── deps.html ├── deps.svg ├── impdriver.ml ├── index.html └── toc.html /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/README.md -------------------------------------------------------------------------------- /install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/install.md -------------------------------------------------------------------------------- /notes/lf/AltAuto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/AltAuto.v -------------------------------------------------------------------------------- /notes/lf/Basics.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Basics.pptx -------------------------------------------------------------------------------- /notes/lf/Basics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Basics.v -------------------------------------------------------------------------------- /notes/lf/CoqMakefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/CoqMakefile.conf -------------------------------------------------------------------------------- /notes/lf/IndPrinciples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/IndPrinciples.v -------------------------------------------------------------------------------- /notes/lf/IndProp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/IndProp.v -------------------------------------------------------------------------------- /notes/lf/Induction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Induction.v -------------------------------------------------------------------------------- /notes/lf/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/LICENSE -------------------------------------------------------------------------------- /notes/lf/Lists.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Lists.v -------------------------------------------------------------------------------- /notes/lf/Logic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Logic.v -------------------------------------------------------------------------------- /notes/lf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Makefile -------------------------------------------------------------------------------- /notes/lf/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Makefile.conf -------------------------------------------------------------------------------- /notes/lf/Poly.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Poly.v -------------------------------------------------------------------------------- /notes/lf/Postscript.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Postscript.v -------------------------------------------------------------------------------- /notes/lf/Preface.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Preface.pptx -------------------------------------------------------------------------------- /notes/lf/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Preface.v -------------------------------------------------------------------------------- /notes/lf/ProofObjects.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/ProofObjects.v -------------------------------------------------------------------------------- /notes/lf/Tactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/notes/lf/Tactics.v -------------------------------------------------------------------------------- /notes/lf/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . LF 2 | -------------------------------------------------------------------------------- /textbook/lf/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/.gitignore -------------------------------------------------------------------------------- /textbook/lf/AltAuto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/AltAuto.html -------------------------------------------------------------------------------- /textbook/lf/AltAuto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/AltAuto.v -------------------------------------------------------------------------------- /textbook/lf/AltAutoTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/AltAutoTest.v -------------------------------------------------------------------------------- /textbook/lf/Auto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Auto.html -------------------------------------------------------------------------------- /textbook/lf/Auto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Auto.v -------------------------------------------------------------------------------- /textbook/lf/AutoTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/AutoTest.v -------------------------------------------------------------------------------- /textbook/lf/Basics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Basics.html -------------------------------------------------------------------------------- /textbook/lf/Basics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Basics.v -------------------------------------------------------------------------------- /textbook/lf/BasicsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/BasicsTest.v -------------------------------------------------------------------------------- /textbook/lf/Bib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Bib.html -------------------------------------------------------------------------------- /textbook/lf/Bib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Bib.v -------------------------------------------------------------------------------- /textbook/lf/BibTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/BibTest.v -------------------------------------------------------------------------------- /textbook/lf/Extraction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Extraction.html -------------------------------------------------------------------------------- /textbook/lf/Extraction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Extraction.v -------------------------------------------------------------------------------- /textbook/lf/ExtractionTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ExtractionTest.v -------------------------------------------------------------------------------- /textbook/lf/Imp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Imp.html -------------------------------------------------------------------------------- /textbook/lf/Imp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Imp.v -------------------------------------------------------------------------------- /textbook/lf/ImpCEvalFun.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpCEvalFun.html -------------------------------------------------------------------------------- /textbook/lf/ImpCEvalFun.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpCEvalFun.v -------------------------------------------------------------------------------- /textbook/lf/ImpCEvalFunTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpCEvalFunTest.v -------------------------------------------------------------------------------- /textbook/lf/ImpParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpParser.html -------------------------------------------------------------------------------- /textbook/lf/ImpParser.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpParser.v -------------------------------------------------------------------------------- /textbook/lf/ImpParserTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpParserTest.v -------------------------------------------------------------------------------- /textbook/lf/ImpTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ImpTest.v -------------------------------------------------------------------------------- /textbook/lf/IndPrinciples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndPrinciples.html -------------------------------------------------------------------------------- /textbook/lf/IndPrinciples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndPrinciples.v -------------------------------------------------------------------------------- /textbook/lf/IndPrinciplesTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndPrinciplesTest.v -------------------------------------------------------------------------------- /textbook/lf/IndProp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndProp.html -------------------------------------------------------------------------------- /textbook/lf/IndProp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndProp.v -------------------------------------------------------------------------------- /textbook/lf/IndPropTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/IndPropTest.v -------------------------------------------------------------------------------- /textbook/lf/Induction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Induction.html -------------------------------------------------------------------------------- /textbook/lf/Induction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Induction.v -------------------------------------------------------------------------------- /textbook/lf/InductionTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/InductionTest.v -------------------------------------------------------------------------------- /textbook/lf/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/LICENSE -------------------------------------------------------------------------------- /textbook/lf/Lists.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Lists.html -------------------------------------------------------------------------------- /textbook/lf/Lists.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Lists.v -------------------------------------------------------------------------------- /textbook/lf/ListsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ListsTest.v -------------------------------------------------------------------------------- /textbook/lf/Logic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Logic.html -------------------------------------------------------------------------------- /textbook/lf/Logic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Logic.v -------------------------------------------------------------------------------- /textbook/lf/LogicTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/LogicTest.v -------------------------------------------------------------------------------- /textbook/lf/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Makefile -------------------------------------------------------------------------------- /textbook/lf/Maps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Maps.html -------------------------------------------------------------------------------- /textbook/lf/Maps.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Maps.v -------------------------------------------------------------------------------- /textbook/lf/MapsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/MapsTest.v -------------------------------------------------------------------------------- /textbook/lf/Poly.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Poly.html -------------------------------------------------------------------------------- /textbook/lf/Poly.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Poly.v -------------------------------------------------------------------------------- /textbook/lf/PolyTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/PolyTest.v -------------------------------------------------------------------------------- /textbook/lf/Postscript.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Postscript.html -------------------------------------------------------------------------------- /textbook/lf/Postscript.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Postscript.v -------------------------------------------------------------------------------- /textbook/lf/PostscriptTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/PostscriptTest.v -------------------------------------------------------------------------------- /textbook/lf/Preface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Preface.html -------------------------------------------------------------------------------- /textbook/lf/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Preface.v -------------------------------------------------------------------------------- /textbook/lf/PrefaceTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/PrefaceTest.v -------------------------------------------------------------------------------- /textbook/lf/ProofObjects.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ProofObjects.html -------------------------------------------------------------------------------- /textbook/lf/ProofObjects.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ProofObjects.v -------------------------------------------------------------------------------- /textbook/lf/ProofObjectsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/ProofObjectsTest.v -------------------------------------------------------------------------------- /textbook/lf/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/README -------------------------------------------------------------------------------- /textbook/lf/Rel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Rel.html -------------------------------------------------------------------------------- /textbook/lf/Rel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Rel.v -------------------------------------------------------------------------------- /textbook/lf/RelTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/RelTest.v -------------------------------------------------------------------------------- /textbook/lf/Tactics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Tactics.html -------------------------------------------------------------------------------- /textbook/lf/Tactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/Tactics.v -------------------------------------------------------------------------------- /textbook/lf/TacticsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/TacticsTest.v -------------------------------------------------------------------------------- /textbook/lf/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . LF 2 | -------------------------------------------------------------------------------- /textbook/lf/common/css/jscoq.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/jscoq.css -------------------------------------------------------------------------------- /textbook/lf/common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/lf.css -------------------------------------------------------------------------------- /textbook/lf/common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/plf.css -------------------------------------------------------------------------------- /textbook/lf/common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/qc.css -------------------------------------------------------------------------------- /textbook/lf/common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/sf.css -------------------------------------------------------------------------------- /textbook/lf/common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/slf.css -------------------------------------------------------------------------------- /textbook/lf/common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/slides.css -------------------------------------------------------------------------------- /textbook/lf/common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/vc.css -------------------------------------------------------------------------------- /textbook/lf/common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/css/vfa.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/index.html -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /textbook/lf/common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jquery-ui/package.json -------------------------------------------------------------------------------- /textbook/lf/common/jscoq.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/jscoq.js -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /textbook/lf/common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /textbook/lf/common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /textbook/lf/common/media/image/slf-bg-original.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/slf-bg-original.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/slf-bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/slf-bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/slf-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/slf-icon.png -------------------------------------------------------------------------------- /textbook/lf/common/media/image/vc-bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/vc-bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/vc-icon.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/vc-icon.png -------------------------------------------------------------------------------- /textbook/lf/common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /textbook/lf/common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /textbook/lf/common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/slides.js -------------------------------------------------------------------------------- /textbook/lf/common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/common/toggleproofs.js -------------------------------------------------------------------------------- /textbook/lf/coqindex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/coqindex.html -------------------------------------------------------------------------------- /textbook/lf/deps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/deps.html -------------------------------------------------------------------------------- /textbook/lf/deps.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/deps.svg -------------------------------------------------------------------------------- /textbook/lf/impdriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/impdriver.ml -------------------------------------------------------------------------------- /textbook/lf/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/index.html -------------------------------------------------------------------------------- /textbook/lf/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/clarksmr/sf-lectures/HEAD/textbook/lf/toc.html --------------------------------------------------------------------------------