mmodenesi's repositories
discreta_ii_famaf
Apuntes de clases de Matemática Discreta II, FaMAF, UNC
aavc-19-docker
Dockerfile for AAVC 19
lenguajes_y_compiladores
Código relacionado a Lenguajes y compiladores, FaMAF
alquileres
Reunir info de varias páginas para alquilar
docker-coq-emacs
Docker image with emacs as a coq IDE
Language:Emacs Lisp000
Language:TeX000