Skip to content

0x00-pl/SFCT

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

72 Commits
.gitignore
.gitignore
 
 
Auto.html
Auto.html
 
 
Auto.v
Auto.v
 
 
BasicTactics.html
BasicTactics.html
 
 
BasicTactics.v
BasicTactics.v
 
 
Basics.html
Basics.html
 
 
Basics.v
Basics.v
 
 
Equiv.html
Equiv.html
 
 
Equiv.v
Equiv.v
 
 
Extraction.html
Extraction.html
 
 
Extraction.v
Extraction.v
 
 
Hoare.html
Hoare.html
 
 
Hoare.v
Hoare.v
 
 
Hoare2.html
Hoare2.html
 
 
Hoare2.v
Hoare2.v
 
 
HoareAsLogic.html
HoareAsLogic.html
 
 
HoareAsLogic.v
HoareAsLogic.v
 
 
Imp.html
Imp.html
 
 
Imp.v
Imp.v
 
 
ImpCEvalFun.html
ImpCEvalFun.html
 
 
ImpCEvalFun.v
ImpCEvalFun.v
 
 
ImpParser.html
ImpParser.html
 
 
ImpParser.v
ImpParser.v
 
 
Induction.html
Induction.html
 
 
Induction.v
Induction.v
 
 
LICENSE
LICENSE
 
 
LibTactics.html
LibTactics.html
 
 
LibTactics.v
LibTactics.v
 
 
Lists.html
Lists.html
 
 
Lists.v
Lists.v
 
 
Logic.html
Logic.html
 
 
Logic.v
Logic.v
 
 
Makefile
Makefile
 
 
MoreInd.html
MoreInd.html
 
 
MoreInd.v
MoreInd.v
 
 
MoreLogic.html
MoreLogic.html
 
 
MoreLogic.v
MoreLogic.v
 
 
MoreStlc.html
MoreStlc.html
 
 
MoreStlc.v
MoreStlc.v
 
 
Norm.html
Norm.html
 
 
Norm.v
Norm.v
 
 
PE.html
PE.html
 
 
PE.v
PE.v
 
 
Poly.html
Poly.html
 
 
Poly.v
Poly.v
 
 
Postscript.html
Postscript.html
 
 
Postscript.v
Postscript.v
 
 
Preface.html
Preface.html
 
 
Preface.v
Preface.v
 
 
ProofObjects.html
ProofObjects.html
 
 
ProofObjects.v
ProofObjects.v
 
 
Prop.html
Prop.html
 
 
Prop.v
Prop.v
 
 
README.md
README.md
 
 
RecordSub.html
RecordSub.html
 
 
RecordSub.v
RecordSub.v
 
 
Records.html
Records.html
 
 
Records.v
Records.v
 
 
References.html
References.html
 
 
References.v
References.v
 
 
Rel.html
Rel.html
 
 
Rel.v
Rel.v
 
 
SfLib.html
SfLib.html
 
 
SfLib.v
SfLib.v
 
 
Smallstep.html
Smallstep.html
 
 
Smallstep.v
Smallstep.v
 
 
Stlc.html
Stlc.html
 
 
Stlc.v
Stlc.v
 
 
StlcProp.html
StlcProp.html
 
 
StlcProp.v
StlcProp.v
 
 
Sub.html
Sub.html
 
 
Sub.v
Sub.v
 
 
Symbols.html
Symbols.html
 
 
Symbols.v
Symbols.v
 
 
TermTranslation
TermTranslation
 
 
Typechecking.html
Typechecking.html
 
 
Typechecking.v
Typechecking.v
 
 
Types.html
Types.html
 
 
Types.v
Types.v
 
 
UseAuto.html
UseAuto.html
 
 
UseAuto.v
UseAuto.v
 
 
UseTactics.html
UseTactics.html
 
 
UseTactics.v
UseTactics.v
 
 
coqdoc.css
coqdoc.css
 
 
coqindex.html
coqindex.html
 
 
deps.gif
deps.gif
 
 
deps.html
deps.html
 
 
deps.map
deps.map
 
 
imp.ml
imp.ml
 
 
imp.mli
imp.mli
 
 
imp1.ml
imp1.ml
 
 
imp1.mli
imp1.mli
 
 
imp2.ml
imp2.ml
 
 
imp2.mli
imp2.mli
 
 
impdriver.ml
impdriver.ml
 
 
index-bg.jpg
index-bg.jpg
 
 
index.html
index.html
 
 
jquery-1.8.3.js
jquery-1.8.3.js
 
 
jquery.maphilight.min.js
jquery.maphilight.min.js
 
 
main.js
main.js
 
 

Repository files navigation

SFCT

Software Foundation Chinese Translation

How to contribute?

Made an issue with the chapter you intended to translate. Be ware to read through the open issue list to make sure no one is doing the same work as yours!

About

Software Foundation Chinese Translation

Resources

Readme

License

MIT license
Activity

Stars

1 star

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages