Skip to content
/ coq Public

Construcción Formal de Programas en Teoría de Tipos

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

gabina/coq

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

2 Commits
README.md
README.md
 
 
parcial1.v
parcial1.v
 
 
parcial2.v
parcial2.v
 
 
tp1.v
tp1.v
 
 
tp2.v
tp2.v
 
 
tp3.v
tp3.v
 
 
tp4.v
tp4.v
 
 
tp5.v
tp5.v
 
 
tp6.v
tp6.v
 
 

Repository files navigation

coq

Construcción Formal de Programas en Teoría de Tipos

Prácticas y exámenes

About

Construcción Formal de Programas en Teoría de Tipos

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages