J. D. Gambín's repositories
jdgambin.github.io
Mi sitio web personal.
Language:HTMLBSD-3-Clause-Clear000
logos
Un verificador de inferencias y argumentos validos de lógica proposicional.
Language:PythonBSD-3-Clause-Clear000
documentos
Fuentes de LaTeX de algunos documentos que he escrito.
Language:TeX000
scripts
Colección arqueológica de pequeños programas con funciones variadas.
Language:ShellBSD-3-Clause-Clear000