Verificación de Programas con F*

Información de la materia: aquí

Para instrucciones sobre cómo correr F* ver: Ejecutar.md.

Para instrucciones sobre cómo usar la extensión, ver aquí.

Name		Name	Last commit message	Last commit date
Latest commit History 95 Commits
.devcontainer		.devcontainer
Clase9_ocaml		Clase9_ocaml
ejemplo_canon		ejemplo_canon
img		img
material		material
slides		slides
.gitignore		.gitignore
BinomialHeap.fst		BinomialHeap.fst
Clase1.fst		Clase1.fst
Clase10.Calc.fst		Clase10.Calc.fst
Clase10.Tac.Automation.fst		Clase10.Tac.Automation.fst
Clase10.Tac.Constructive.fst		Clase10.Tac.Constructive.fst
Clase10.Tac.Hybrid.fst		Clase10.Tac.Hybrid.fst
Clase10.Tac.Intro.fst		Clase10.Tac.Intro.fst
Clase13.Cliente.Indexed.fst		Clase13.Cliente.Indexed.fst
Clase13.Cliente.fst		Clase13.Cliente.fst
Clase13.DEQ.fst		Clase13.DEQ.fst
Clase13.Listas.fst		Clase13.Listas.fst
Clase13.Listas.fsti		Clase13.Listas.fsti
Clase2.DeMorgan.fst		Clase2.DeMorgan.fst
Clase2.fst		Clase2.fst
Clase3.GADT.fst		Clase3.GADT.fst
Clase3.Positividad.fst		Clase3.Positividad.fst
Clase3.Recursion.fst		Clase3.Recursion.fst
Clase3.Vec.fst		Clase3.Vec.fst
Clase5.BST.fst		Clase5.BST.fst
Clase5.Fib.fst		Clase5.Fib.fst
Clase5.Listas.fst		Clase5.Listas.fst
Clase5.MiniLang.fst		Clase5.MiniLang.fst
Clase6.BST.fst		Clase6.BST.fst
Clase7.Imp.fst		Clase7.Imp.fst
Clase8.WP.fst		Clase8.WP.fst
Clase9.Eff.fst		Clase9.Eff.fst
Container.Indexed.fst		Container.Indexed.fst
Container.fst		Container.fst
Ejecutar.md		Ejecutar.md
FStarProject.fst.config.json		FStarProject.fst.config.json
Makefile		Makefile
README.md		README.md

Provide feedback