Skip to content

fluque1995/coq-agr

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

31 Commits
slides
slides
 
 
.gitignore
.gitignore
 
 
algebra.v
algebra.v
 
 
naturals.v
naturals.v
 
 
props.v
props.v
 
 
theorem.hs
theorem.hs
 
 

About

Repositorio para el trabajo de Álgebras, Grupos y Representaciones del Doble Grado en Ingeniería Informática y Matemáticas de la Universidad de Granada

Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages