├── .circleci └── config.yml ├── .gitignore ├── CODE_OF_CONDUCT.md ├── README.md ├── common ├── css │ ├── lf.css │ ├── plf.css │ ├── qc.css │ ├── sep.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 ├── 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 │ │ ├── verified_bg.jpg │ │ └── vfa_icon.jpg ├── slides.js └── toggleproofs.js ├── index.html ├── lf-current ├── .coqdeps.d ├── .depend ├── 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 ├── Makefile.conf ├── Makefile.coq ├── Makefile.coq.conf ├── 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 │ │ ├── lf.css │ │ ├── plf.css │ │ ├── qc.css │ │ ├── sep.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 │ ├── 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 │ │ │ ├── verified_bg.jpg │ │ │ └── vfa_icon.jpg │ ├── slides.js │ └── toggleproofs.js ├── coqindex.html ├── deps.gif ├── deps.html ├── deps.map ├── imp.ml ├── imp.mli ├── imp1.ml ├── imp1.mli ├── imp2.ml ├── imp2.mli ├── impdriver.ml ├── index.html ├── lf.tgz └── toc.html ├── plf-current ├── .coqdeps.d ├── .depend ├── Bib.html ├── Bib.v ├── BibTest.v ├── Equiv.html ├── Equiv.v ├── EquivTest.v ├── Hoare.html ├── Hoare.v ├── Hoare2.html ├── Hoare2.v ├── Hoare2Test.v ├── HoareAsLogic.html ├── HoareAsLogic.v ├── HoareAsLogicTest.v ├── HoareTest.v ├── Imp.v ├── ImpTest.v ├── LICENSE ├── LibTactics.html ├── LibTactics.v ├── LibTacticsTest.v ├── Makefile ├── Makefile.conf ├── Makefile.coq ├── Makefile.coq.conf ├── Maps.v ├── MapsTest.v ├── MoreStlc.html ├── MoreStlc.v ├── MoreStlcTest.v ├── Norm.html ├── Norm.v ├── NormTest.v ├── PE.html ├── PE.v ├── PETest.v ├── Postscript.html ├── Postscript.v ├── PostscriptTest.v ├── Preface.html ├── Preface.v ├── PrefaceTest.v ├── README ├── RecordSub.html ├── RecordSub.v ├── RecordSubTest.v ├── Records.html ├── Records.v ├── RecordsTest.v ├── References.html ├── References.v ├── ReferencesTest.v ├── Smallstep.html ├── Smallstep.v ├── SmallstepTest.v ├── Stlc.html ├── Stlc.v ├── StlcProp.html ├── StlcProp.v ├── StlcPropTest.v ├── StlcTest.v ├── Sub.html ├── Sub.v ├── SubTest.v ├── Typechecking.html ├── Typechecking.v ├── TypecheckingTest.v ├── Types.html ├── Types.v ├── TypesTest.v ├── UseAuto.html ├── UseAuto.v ├── UseAutoTest.v ├── UseTactics.html ├── UseTactics.v ├── UseTacticsTest.v ├── _CoqProject ├── common │ ├── css │ │ ├── lf.css │ │ ├── plf.css │ │ ├── qc.css │ │ ├── sep.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 │ ├── 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 │ │ │ ├── verified_bg.jpg │ │ │ └── vfa_icon.jpg │ ├── slides.js │ └── toggleproofs.js ├── coqindex.html ├── deps.gif ├── deps.html ├── deps.map ├── index.html ├── plf.tgz └── toc.html ├── qc-current ├── .coqdeps.d ├── .depend ├── Bib.html ├── Bib.v ├── Introduction.html ├── Introduction.v ├── LICENSE ├── Makefile ├── Makefile.conf ├── Makefile.coq ├── Makefile.coq.conf ├── Postscript.html ├── Postscript.v ├── Preface.html ├── Preface.v ├── QC.html ├── QC.v ├── QuickChickInterface.html ├── QuickChickInterface.v ├── QuickChickTool.html ├── QuickChickTool.v ├── README ├── TImp.html ├── TImp.v ├── Typeclasses.html ├── Typeclasses.v ├── _CoqProject ├── common │ ├── css │ │ ├── lf.css │ │ ├── plf.css │ │ ├── qc.css │ │ ├── sep.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 │ ├── 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 │ │ │ ├── verified_bg.jpg │ │ │ └── vfa_icon.jpg │ ├── slides.js │ └── toggleproofs.js ├── coqindex.html ├── index.html ├── qc.tgz └── toc.html └── vfa-current ├── .coqdeps.d ├── .depend ├── ADT.html ├── ADT.v ├── ADTTest.v ├── Binom.html ├── Binom.v ├── BinomTest.v ├── Color.html ├── Color.v ├── ColorTest.v ├── Decide.html ├── Decide.v ├── DecideTest.v ├── Extract.html ├── Extract.v ├── ExtractTest.v ├── LICENSE ├── Makefile ├── Makefile.conf ├── Makefile.coq ├── Makefile.coq.conf ├── Maps.v ├── MapsTest.v ├── Multiset.html ├── Multiset.v ├── MultisetTest.v ├── Perm.html ├── Perm.v ├── PermTest.v ├── Preface.html ├── Preface.v ├── PrefaceTest.v ├── Priqueue.html ├── Priqueue.v ├── PriqueueTest.v ├── README ├── Redblack.html ├── Redblack.v ├── RedblackTest.v ├── SearchTree.html ├── SearchTree.v ├── SearchTreeTest.v ├── Selection.html ├── Selection.v ├── SelectionTest.v ├── Sort.html ├── Sort.v ├── SortTest.v ├── Trie.html ├── Trie.v ├── TrieTest.v ├── _CoqProject ├── common ├── css │ ├── lf.css │ ├── plf.css │ ├── qc.css │ ├── sep.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 ├── 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 │ │ ├── verified_bg.jpg │ │ └── vfa_icon.jpg ├── slides.js └── toggleproofs.js ├── coqindex.html ├── deps.gif ├── deps.html ├── deps.map ├── index.html ├── redblack.ml ├── redblack.mli ├── searchtree.ml ├── searchtree.mli ├── test_searchtree.ml ├── toc.html └── vfa.tgz /.circleci/config.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/.circleci/config.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/.gitignore -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/README.md -------------------------------------------------------------------------------- /common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/lf.css -------------------------------------------------------------------------------- /common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/plf.css -------------------------------------------------------------------------------- /common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/qc.css -------------------------------------------------------------------------------- /common/css/sep.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/sep.css -------------------------------------------------------------------------------- /common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/sf.css -------------------------------------------------------------------------------- /common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/slf.css -------------------------------------------------------------------------------- /common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/slides.css -------------------------------------------------------------------------------- /common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/vc.css -------------------------------------------------------------------------------- /common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/css/vfa.css -------------------------------------------------------------------------------- /common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/index.html -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/jquery-ui/package.json -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/slides.js -------------------------------------------------------------------------------- /common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/common/toggleproofs.js -------------------------------------------------------------------------------- /index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/index.html -------------------------------------------------------------------------------- /lf-current/.coqdeps.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/.coqdeps.d -------------------------------------------------------------------------------- /lf-current/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/.depend -------------------------------------------------------------------------------- /lf-current/AltAuto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/AltAuto.html -------------------------------------------------------------------------------- /lf-current/AltAuto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/AltAuto.v -------------------------------------------------------------------------------- /lf-current/AltAutoTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/AltAutoTest.v -------------------------------------------------------------------------------- /lf-current/Auto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Auto.html -------------------------------------------------------------------------------- /lf-current/Auto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Auto.v -------------------------------------------------------------------------------- /lf-current/AutoTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/AutoTest.v -------------------------------------------------------------------------------- /lf-current/Basics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Basics.html -------------------------------------------------------------------------------- /lf-current/Basics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Basics.v -------------------------------------------------------------------------------- /lf-current/BasicsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/BasicsTest.v -------------------------------------------------------------------------------- /lf-current/Bib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Bib.html -------------------------------------------------------------------------------- /lf-current/Bib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Bib.v -------------------------------------------------------------------------------- /lf-current/BibTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/BibTest.v -------------------------------------------------------------------------------- /lf-current/Extraction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Extraction.html -------------------------------------------------------------------------------- /lf-current/Extraction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Extraction.v -------------------------------------------------------------------------------- /lf-current/ExtractionTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ExtractionTest.v -------------------------------------------------------------------------------- /lf-current/Imp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Imp.html -------------------------------------------------------------------------------- /lf-current/Imp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Imp.v -------------------------------------------------------------------------------- /lf-current/ImpCEvalFun.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpCEvalFun.html -------------------------------------------------------------------------------- /lf-current/ImpCEvalFun.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpCEvalFun.v -------------------------------------------------------------------------------- /lf-current/ImpCEvalFunTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpCEvalFunTest.v -------------------------------------------------------------------------------- /lf-current/ImpParser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpParser.html -------------------------------------------------------------------------------- /lf-current/ImpParser.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpParser.v -------------------------------------------------------------------------------- /lf-current/ImpParserTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpParserTest.v -------------------------------------------------------------------------------- /lf-current/ImpTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ImpTest.v -------------------------------------------------------------------------------- /lf-current/IndPrinciples.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndPrinciples.html -------------------------------------------------------------------------------- /lf-current/IndPrinciples.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndPrinciples.v -------------------------------------------------------------------------------- /lf-current/IndPrinciplesTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndPrinciplesTest.v -------------------------------------------------------------------------------- /lf-current/IndProp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndProp.html -------------------------------------------------------------------------------- /lf-current/IndProp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndProp.v -------------------------------------------------------------------------------- /lf-current/IndPropTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/IndPropTest.v -------------------------------------------------------------------------------- /lf-current/Induction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Induction.html -------------------------------------------------------------------------------- /lf-current/Induction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Induction.v -------------------------------------------------------------------------------- /lf-current/InductionTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/InductionTest.v -------------------------------------------------------------------------------- /lf-current/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/LICENSE -------------------------------------------------------------------------------- /lf-current/Lists.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Lists.html -------------------------------------------------------------------------------- /lf-current/Lists.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Lists.v -------------------------------------------------------------------------------- /lf-current/ListsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ListsTest.v -------------------------------------------------------------------------------- /lf-current/Logic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Logic.html -------------------------------------------------------------------------------- /lf-current/Logic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Logic.v -------------------------------------------------------------------------------- /lf-current/LogicTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/LogicTest.v -------------------------------------------------------------------------------- /lf-current/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Makefile -------------------------------------------------------------------------------- /lf-current/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Makefile.conf -------------------------------------------------------------------------------- /lf-current/Makefile.coq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Makefile.coq -------------------------------------------------------------------------------- /lf-current/Makefile.coq.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Makefile.coq.conf -------------------------------------------------------------------------------- /lf-current/Maps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Maps.html -------------------------------------------------------------------------------- /lf-current/Maps.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Maps.v -------------------------------------------------------------------------------- /lf-current/MapsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/MapsTest.v -------------------------------------------------------------------------------- /lf-current/Poly.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Poly.html -------------------------------------------------------------------------------- /lf-current/Poly.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Poly.v -------------------------------------------------------------------------------- /lf-current/PolyTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/PolyTest.v -------------------------------------------------------------------------------- /lf-current/Postscript.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Postscript.html -------------------------------------------------------------------------------- /lf-current/Postscript.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Postscript.v -------------------------------------------------------------------------------- /lf-current/PostscriptTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/PostscriptTest.v -------------------------------------------------------------------------------- /lf-current/Preface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Preface.html -------------------------------------------------------------------------------- /lf-current/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Preface.v -------------------------------------------------------------------------------- /lf-current/PrefaceTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/PrefaceTest.v -------------------------------------------------------------------------------- /lf-current/ProofObjects.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ProofObjects.html -------------------------------------------------------------------------------- /lf-current/ProofObjects.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ProofObjects.v -------------------------------------------------------------------------------- /lf-current/ProofObjectsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/ProofObjectsTest.v -------------------------------------------------------------------------------- /lf-current/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/README -------------------------------------------------------------------------------- /lf-current/Rel.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Rel.html -------------------------------------------------------------------------------- /lf-current/Rel.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Rel.v -------------------------------------------------------------------------------- /lf-current/RelTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/RelTest.v -------------------------------------------------------------------------------- /lf-current/Tactics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Tactics.html -------------------------------------------------------------------------------- /lf-current/Tactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/Tactics.v -------------------------------------------------------------------------------- /lf-current/TacticsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/TacticsTest.v -------------------------------------------------------------------------------- /lf-current/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . LF 2 | -------------------------------------------------------------------------------- /lf-current/common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/lf.css -------------------------------------------------------------------------------- /lf-current/common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/plf.css -------------------------------------------------------------------------------- /lf-current/common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/qc.css -------------------------------------------------------------------------------- /lf-current/common/css/sep.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/sep.css -------------------------------------------------------------------------------- /lf-current/common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/sf.css -------------------------------------------------------------------------------- /lf-current/common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/slf.css -------------------------------------------------------------------------------- /lf-current/common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/slides.css -------------------------------------------------------------------------------- /lf-current/common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/vc.css -------------------------------------------------------------------------------- /lf-current/common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/css/vfa.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/index.html -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /lf-current/common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/jquery-ui/package.json -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /lf-current/common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /lf-current/common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /lf-current/common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /lf-current/common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /lf-current/common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/slides.js -------------------------------------------------------------------------------- /lf-current/common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/common/toggleproofs.js -------------------------------------------------------------------------------- /lf-current/coqindex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/coqindex.html -------------------------------------------------------------------------------- /lf-current/deps.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/deps.gif -------------------------------------------------------------------------------- /lf-current/deps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/deps.html -------------------------------------------------------------------------------- /lf-current/deps.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/deps.map -------------------------------------------------------------------------------- /lf-current/imp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp.ml -------------------------------------------------------------------------------- /lf-current/imp.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp.mli -------------------------------------------------------------------------------- /lf-current/imp1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp1.ml -------------------------------------------------------------------------------- /lf-current/imp1.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp1.mli -------------------------------------------------------------------------------- /lf-current/imp2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp2.ml -------------------------------------------------------------------------------- /lf-current/imp2.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/imp2.mli -------------------------------------------------------------------------------- /lf-current/impdriver.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/impdriver.ml -------------------------------------------------------------------------------- /lf-current/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/index.html -------------------------------------------------------------------------------- /lf-current/lf.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/lf.tgz -------------------------------------------------------------------------------- /lf-current/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/lf-current/toc.html -------------------------------------------------------------------------------- /plf-current/.coqdeps.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/.coqdeps.d -------------------------------------------------------------------------------- /plf-current/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/.depend -------------------------------------------------------------------------------- /plf-current/Bib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Bib.html -------------------------------------------------------------------------------- /plf-current/Bib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Bib.v -------------------------------------------------------------------------------- /plf-current/BibTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/BibTest.v -------------------------------------------------------------------------------- /plf-current/Equiv.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Equiv.html -------------------------------------------------------------------------------- /plf-current/Equiv.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Equiv.v -------------------------------------------------------------------------------- /plf-current/EquivTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/EquivTest.v -------------------------------------------------------------------------------- /plf-current/Hoare.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Hoare.html -------------------------------------------------------------------------------- /plf-current/Hoare.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Hoare.v -------------------------------------------------------------------------------- /plf-current/Hoare2.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Hoare2.html -------------------------------------------------------------------------------- /plf-current/Hoare2.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Hoare2.v -------------------------------------------------------------------------------- /plf-current/Hoare2Test.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Hoare2Test.v -------------------------------------------------------------------------------- /plf-current/HoareAsLogic.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/HoareAsLogic.html -------------------------------------------------------------------------------- /plf-current/HoareAsLogic.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/HoareAsLogic.v -------------------------------------------------------------------------------- /plf-current/HoareAsLogicTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/HoareAsLogicTest.v -------------------------------------------------------------------------------- /plf-current/HoareTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/HoareTest.v -------------------------------------------------------------------------------- /plf-current/Imp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Imp.v -------------------------------------------------------------------------------- /plf-current/ImpTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/ImpTest.v -------------------------------------------------------------------------------- /plf-current/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/LICENSE -------------------------------------------------------------------------------- /plf-current/LibTactics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/LibTactics.html -------------------------------------------------------------------------------- /plf-current/LibTactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/LibTactics.v -------------------------------------------------------------------------------- /plf-current/LibTacticsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/LibTacticsTest.v -------------------------------------------------------------------------------- /plf-current/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Makefile -------------------------------------------------------------------------------- /plf-current/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Makefile.conf -------------------------------------------------------------------------------- /plf-current/Makefile.coq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Makefile.coq -------------------------------------------------------------------------------- /plf-current/Makefile.coq.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Makefile.coq.conf -------------------------------------------------------------------------------- /plf-current/Maps.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Maps.v -------------------------------------------------------------------------------- /plf-current/MapsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/MapsTest.v -------------------------------------------------------------------------------- /plf-current/MoreStlc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/MoreStlc.html -------------------------------------------------------------------------------- /plf-current/MoreStlc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/MoreStlc.v -------------------------------------------------------------------------------- /plf-current/MoreStlcTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/MoreStlcTest.v -------------------------------------------------------------------------------- /plf-current/Norm.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Norm.html -------------------------------------------------------------------------------- /plf-current/Norm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Norm.v -------------------------------------------------------------------------------- /plf-current/NormTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/NormTest.v -------------------------------------------------------------------------------- /plf-current/PE.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/PE.html -------------------------------------------------------------------------------- /plf-current/PE.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/PE.v -------------------------------------------------------------------------------- /plf-current/PETest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/PETest.v -------------------------------------------------------------------------------- /plf-current/Postscript.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Postscript.html -------------------------------------------------------------------------------- /plf-current/Postscript.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Postscript.v -------------------------------------------------------------------------------- /plf-current/PostscriptTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/PostscriptTest.v -------------------------------------------------------------------------------- /plf-current/Preface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Preface.html -------------------------------------------------------------------------------- /plf-current/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Preface.v -------------------------------------------------------------------------------- /plf-current/PrefaceTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/PrefaceTest.v -------------------------------------------------------------------------------- /plf-current/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/README -------------------------------------------------------------------------------- /plf-current/RecordSub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/RecordSub.html -------------------------------------------------------------------------------- /plf-current/RecordSub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/RecordSub.v -------------------------------------------------------------------------------- /plf-current/RecordSubTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/RecordSubTest.v -------------------------------------------------------------------------------- /plf-current/Records.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Records.html -------------------------------------------------------------------------------- /plf-current/Records.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Records.v -------------------------------------------------------------------------------- /plf-current/RecordsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/RecordsTest.v -------------------------------------------------------------------------------- /plf-current/References.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/References.html -------------------------------------------------------------------------------- /plf-current/References.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/References.v -------------------------------------------------------------------------------- /plf-current/ReferencesTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/ReferencesTest.v -------------------------------------------------------------------------------- /plf-current/Smallstep.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Smallstep.html -------------------------------------------------------------------------------- /plf-current/Smallstep.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Smallstep.v -------------------------------------------------------------------------------- /plf-current/SmallstepTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/SmallstepTest.v -------------------------------------------------------------------------------- /plf-current/Stlc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Stlc.html -------------------------------------------------------------------------------- /plf-current/Stlc.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Stlc.v -------------------------------------------------------------------------------- /plf-current/StlcProp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/StlcProp.html -------------------------------------------------------------------------------- /plf-current/StlcProp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/StlcProp.v -------------------------------------------------------------------------------- /plf-current/StlcPropTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/StlcPropTest.v -------------------------------------------------------------------------------- /plf-current/StlcTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/StlcTest.v -------------------------------------------------------------------------------- /plf-current/Sub.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Sub.html -------------------------------------------------------------------------------- /plf-current/Sub.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Sub.v -------------------------------------------------------------------------------- /plf-current/SubTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/SubTest.v -------------------------------------------------------------------------------- /plf-current/Typechecking.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Typechecking.html -------------------------------------------------------------------------------- /plf-current/Typechecking.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Typechecking.v -------------------------------------------------------------------------------- /plf-current/TypecheckingTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/TypecheckingTest.v -------------------------------------------------------------------------------- /plf-current/Types.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Types.html -------------------------------------------------------------------------------- /plf-current/Types.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/Types.v -------------------------------------------------------------------------------- /plf-current/TypesTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/TypesTest.v -------------------------------------------------------------------------------- /plf-current/UseAuto.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseAuto.html -------------------------------------------------------------------------------- /plf-current/UseAuto.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseAuto.v -------------------------------------------------------------------------------- /plf-current/UseAutoTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseAutoTest.v -------------------------------------------------------------------------------- /plf-current/UseTactics.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseTactics.html -------------------------------------------------------------------------------- /plf-current/UseTactics.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseTactics.v -------------------------------------------------------------------------------- /plf-current/UseTacticsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/UseTacticsTest.v -------------------------------------------------------------------------------- /plf-current/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . PLF 2 | -------------------------------------------------------------------------------- /plf-current/common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/lf.css -------------------------------------------------------------------------------- /plf-current/common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/plf.css -------------------------------------------------------------------------------- /plf-current/common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/qc.css -------------------------------------------------------------------------------- /plf-current/common/css/sep.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/sep.css -------------------------------------------------------------------------------- /plf-current/common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/sf.css -------------------------------------------------------------------------------- /plf-current/common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/slf.css -------------------------------------------------------------------------------- /plf-current/common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/slides.css -------------------------------------------------------------------------------- /plf-current/common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/vc.css -------------------------------------------------------------------------------- /plf-current/common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/css/vfa.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/index.html -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /plf-current/common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/jquery-ui/package.json -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /plf-current/common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /plf-current/common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /plf-current/common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /plf-current/common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /plf-current/common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/slides.js -------------------------------------------------------------------------------- /plf-current/common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/common/toggleproofs.js -------------------------------------------------------------------------------- /plf-current/coqindex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/coqindex.html -------------------------------------------------------------------------------- /plf-current/deps.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/deps.gif -------------------------------------------------------------------------------- /plf-current/deps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/deps.html -------------------------------------------------------------------------------- /plf-current/deps.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/deps.map -------------------------------------------------------------------------------- /plf-current/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/index.html -------------------------------------------------------------------------------- /plf-current/plf.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/plf.tgz -------------------------------------------------------------------------------- /plf-current/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/plf-current/toc.html -------------------------------------------------------------------------------- /qc-current/.coqdeps.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/.coqdeps.d -------------------------------------------------------------------------------- /qc-current/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/.depend -------------------------------------------------------------------------------- /qc-current/Bib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Bib.html -------------------------------------------------------------------------------- /qc-current/Bib.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Bib.v -------------------------------------------------------------------------------- /qc-current/Introduction.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Introduction.html -------------------------------------------------------------------------------- /qc-current/Introduction.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Introduction.v -------------------------------------------------------------------------------- /qc-current/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/LICENSE -------------------------------------------------------------------------------- /qc-current/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Makefile -------------------------------------------------------------------------------- /qc-current/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Makefile.conf -------------------------------------------------------------------------------- /qc-current/Makefile.coq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Makefile.coq -------------------------------------------------------------------------------- /qc-current/Makefile.coq.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Makefile.coq.conf -------------------------------------------------------------------------------- /qc-current/Postscript.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Postscript.html -------------------------------------------------------------------------------- /qc-current/Postscript.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Postscript.v -------------------------------------------------------------------------------- /qc-current/Preface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Preface.html -------------------------------------------------------------------------------- /qc-current/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Preface.v -------------------------------------------------------------------------------- /qc-current/QC.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QC.html -------------------------------------------------------------------------------- /qc-current/QC.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QC.v -------------------------------------------------------------------------------- /qc-current/QuickChickInterface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QuickChickInterface.html -------------------------------------------------------------------------------- /qc-current/QuickChickInterface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QuickChickInterface.v -------------------------------------------------------------------------------- /qc-current/QuickChickTool.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QuickChickTool.html -------------------------------------------------------------------------------- /qc-current/QuickChickTool.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/QuickChickTool.v -------------------------------------------------------------------------------- /qc-current/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/README -------------------------------------------------------------------------------- /qc-current/TImp.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/TImp.html -------------------------------------------------------------------------------- /qc-current/TImp.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/TImp.v -------------------------------------------------------------------------------- /qc-current/Typeclasses.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Typeclasses.html -------------------------------------------------------------------------------- /qc-current/Typeclasses.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/Typeclasses.v -------------------------------------------------------------------------------- /qc-current/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . QC 2 | -------------------------------------------------------------------------------- /qc-current/common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/lf.css -------------------------------------------------------------------------------- /qc-current/common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/plf.css -------------------------------------------------------------------------------- /qc-current/common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/qc.css -------------------------------------------------------------------------------- /qc-current/common/css/sep.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/sep.css -------------------------------------------------------------------------------- /qc-current/common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/sf.css -------------------------------------------------------------------------------- /qc-current/common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/slf.css -------------------------------------------------------------------------------- /qc-current/common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/slides.css -------------------------------------------------------------------------------- /qc-current/common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/vc.css -------------------------------------------------------------------------------- /qc-current/common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/css/vfa.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/index.html -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /qc-current/common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/jquery-ui/package.json -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /qc-current/common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /qc-current/common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /qc-current/common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /qc-current/common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /qc-current/common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/slides.js -------------------------------------------------------------------------------- /qc-current/common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/common/toggleproofs.js -------------------------------------------------------------------------------- /qc-current/coqindex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/coqindex.html -------------------------------------------------------------------------------- /qc-current/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/index.html -------------------------------------------------------------------------------- /qc-current/qc.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/qc.tgz -------------------------------------------------------------------------------- /qc-current/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/qc-current/toc.html -------------------------------------------------------------------------------- /vfa-current/.coqdeps.d: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/.coqdeps.d -------------------------------------------------------------------------------- /vfa-current/.depend: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/.depend -------------------------------------------------------------------------------- /vfa-current/ADT.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/ADT.html -------------------------------------------------------------------------------- /vfa-current/ADT.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/ADT.v -------------------------------------------------------------------------------- /vfa-current/ADTTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/ADTTest.v -------------------------------------------------------------------------------- /vfa-current/Binom.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Binom.html -------------------------------------------------------------------------------- /vfa-current/Binom.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Binom.v -------------------------------------------------------------------------------- /vfa-current/BinomTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/BinomTest.v -------------------------------------------------------------------------------- /vfa-current/Color.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Color.html -------------------------------------------------------------------------------- /vfa-current/Color.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Color.v -------------------------------------------------------------------------------- /vfa-current/ColorTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/ColorTest.v -------------------------------------------------------------------------------- /vfa-current/Decide.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Decide.html -------------------------------------------------------------------------------- /vfa-current/Decide.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Decide.v -------------------------------------------------------------------------------- /vfa-current/DecideTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/DecideTest.v -------------------------------------------------------------------------------- /vfa-current/Extract.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Extract.html -------------------------------------------------------------------------------- /vfa-current/Extract.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Extract.v -------------------------------------------------------------------------------- /vfa-current/ExtractTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/ExtractTest.v -------------------------------------------------------------------------------- /vfa-current/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/LICENSE -------------------------------------------------------------------------------- /vfa-current/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Makefile -------------------------------------------------------------------------------- /vfa-current/Makefile.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Makefile.conf -------------------------------------------------------------------------------- /vfa-current/Makefile.coq: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Makefile.coq -------------------------------------------------------------------------------- /vfa-current/Makefile.coq.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Makefile.coq.conf -------------------------------------------------------------------------------- /vfa-current/Maps.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Maps.v -------------------------------------------------------------------------------- /vfa-current/MapsTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/MapsTest.v -------------------------------------------------------------------------------- /vfa-current/Multiset.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Multiset.html -------------------------------------------------------------------------------- /vfa-current/Multiset.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Multiset.v -------------------------------------------------------------------------------- /vfa-current/MultisetTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/MultisetTest.v -------------------------------------------------------------------------------- /vfa-current/Perm.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Perm.html -------------------------------------------------------------------------------- /vfa-current/Perm.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Perm.v -------------------------------------------------------------------------------- /vfa-current/PermTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/PermTest.v -------------------------------------------------------------------------------- /vfa-current/Preface.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Preface.html -------------------------------------------------------------------------------- /vfa-current/Preface.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Preface.v -------------------------------------------------------------------------------- /vfa-current/PrefaceTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/PrefaceTest.v -------------------------------------------------------------------------------- /vfa-current/Priqueue.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Priqueue.html -------------------------------------------------------------------------------- /vfa-current/Priqueue.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Priqueue.v -------------------------------------------------------------------------------- /vfa-current/PriqueueTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/PriqueueTest.v -------------------------------------------------------------------------------- /vfa-current/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/README -------------------------------------------------------------------------------- /vfa-current/Redblack.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Redblack.html -------------------------------------------------------------------------------- /vfa-current/Redblack.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Redblack.v -------------------------------------------------------------------------------- /vfa-current/RedblackTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/RedblackTest.v -------------------------------------------------------------------------------- /vfa-current/SearchTree.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/SearchTree.html -------------------------------------------------------------------------------- /vfa-current/SearchTree.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/SearchTree.v -------------------------------------------------------------------------------- /vfa-current/SearchTreeTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/SearchTreeTest.v -------------------------------------------------------------------------------- /vfa-current/Selection.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Selection.html -------------------------------------------------------------------------------- /vfa-current/Selection.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Selection.v -------------------------------------------------------------------------------- /vfa-current/SelectionTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/SelectionTest.v -------------------------------------------------------------------------------- /vfa-current/Sort.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Sort.html -------------------------------------------------------------------------------- /vfa-current/Sort.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Sort.v -------------------------------------------------------------------------------- /vfa-current/SortTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/SortTest.v -------------------------------------------------------------------------------- /vfa-current/Trie.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Trie.html -------------------------------------------------------------------------------- /vfa-current/Trie.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/Trie.v -------------------------------------------------------------------------------- /vfa-current/TrieTest.v: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/TrieTest.v -------------------------------------------------------------------------------- /vfa-current/_CoqProject: -------------------------------------------------------------------------------- 1 | -Q . VFA 2 | -------------------------------------------------------------------------------- /vfa-current/common/css/lf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/lf.css -------------------------------------------------------------------------------- /vfa-current/common/css/plf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/plf.css -------------------------------------------------------------------------------- /vfa-current/common/css/qc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/qc.css -------------------------------------------------------------------------------- /vfa-current/common/css/sep.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/sep.css -------------------------------------------------------------------------------- /vfa-current/common/css/sf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/sf.css -------------------------------------------------------------------------------- /vfa-current/common/css/slf.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/slf.css -------------------------------------------------------------------------------- /vfa-current/common/css/slides.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/slides.css -------------------------------------------------------------------------------- /vfa-current/common/css/vc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/vc.css -------------------------------------------------------------------------------- /vfa-current/common/css/vfa.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/css/vfa.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/AUTHORS.txt -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/external/jquery/jquery.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/external/jquery/jquery.js -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_444444_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_444444_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_555555_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_555555_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_777620_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_777620_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_777777_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_777777_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_cc0000_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/images/ui-icons_ffffff_256x240.png -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/index.html -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.js -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.min.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.min.js -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.structure.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.structure.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.structure.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.structure.min.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.theme.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.theme.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/jquery-ui.theme.min.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/jquery-ui.theme.min.css -------------------------------------------------------------------------------- /vfa-current/common/jquery-ui/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/jquery-ui/package.json -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300/Open-Sans-300.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-300italic/Open-Sans-300italic.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600/Open-Sans-600.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-600italic/Open-Sans-600italic.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700/Open-Sans-700.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-700italic/Open-Sans-700italic.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800/Open-Sans-800.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-800italic/Open-Sans-800italic.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-italic/Open-Sans-italic.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/LICENSE.txt -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.eot -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.svg -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.ttf -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff -------------------------------------------------------------------------------- /vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/font/Open-Sans-regular/Open-Sans-regular.woff2 -------------------------------------------------------------------------------- /vfa-current/common/media/image/arrow_down.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/arrow_down.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/arrow_right.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/arrow_right.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/core_mem_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/core_mem_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/core_mem_hdr_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/core_mem_hdr_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/lf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/lf_icon.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/logical_foundations_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/logical_foundations_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/plf_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/plf_icon.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/prog_lang_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/prog_lang_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/qc_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/qc_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/qc_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/qc_icon.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/sf_logo_lg.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/sf_logo_lg.png -------------------------------------------------------------------------------- /vfa-current/common/media/image/sf_logo_sm.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/sf_logo_sm.png -------------------------------------------------------------------------------- /vfa-current/common/media/image/verified_bg.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/verified_bg.jpg -------------------------------------------------------------------------------- /vfa-current/common/media/image/vfa_icon.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/media/image/vfa_icon.jpg -------------------------------------------------------------------------------- /vfa-current/common/slides.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/slides.js -------------------------------------------------------------------------------- /vfa-current/common/toggleproofs.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/common/toggleproofs.js -------------------------------------------------------------------------------- /vfa-current/coqindex.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/coqindex.html -------------------------------------------------------------------------------- /vfa-current/deps.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/deps.gif -------------------------------------------------------------------------------- /vfa-current/deps.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/deps.html -------------------------------------------------------------------------------- /vfa-current/deps.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/deps.map -------------------------------------------------------------------------------- /vfa-current/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/index.html -------------------------------------------------------------------------------- /vfa-current/redblack.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/redblack.ml -------------------------------------------------------------------------------- /vfa-current/redblack.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/redblack.mli -------------------------------------------------------------------------------- /vfa-current/searchtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/searchtree.ml -------------------------------------------------------------------------------- /vfa-current/searchtree.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/searchtree.mli -------------------------------------------------------------------------------- /vfa-current/test_searchtree.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/test_searchtree.ml -------------------------------------------------------------------------------- /vfa-current/toc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/toc.html -------------------------------------------------------------------------------- /vfa-current/vfa.tgz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Coq-zh/SF-zh/HEAD/vfa-current/vfa.tgz --------------------------------------------------------------------------------