ErVinuelas's repositories
ErVinuelas
Config files for my GitHub profile.
000
gravitationalSimulator
Código de un simulador físico
Language:JavaGPL-3.0000
Language:Java000
progdeclarativa
Projects for the Declarative Programming course
Language:Haskell000
verification-segments
This is the project that corresponds with the final Bachelor thesis of Pablo Martín.
Language:DafnyGPL-3.0000