GitHub - marcelolynch/tex-docs: Documentitos que he escrito alguna vez

Name		Name	Last commit message	Last commit date
agda y programacion verificada		agda y programacion verificada
algebra de cardinales		algebra de cardinales
compacidad y coloreo		compacidad y coloreo
familias de conjuntos		familias de conjuntos
instancias de algebras de relaciones en SAT		instancias de algebras de relaciones en SAT
recursion primitiva en logica de primer orden		recursion primitiva en logica de primer orden
semantica y consecuencia logica		semantica y consecuencia logica
teorema de bernstein		teorema de bernstein
teorema de kuratowski		teorema de kuratowski
transformada de hough generalizada		transformada de hough generalizada
visualizando el cardinal de (0,1)^N		visualizando el cardinal de (0,1)^N
.gitignore		.gitignore
README.md		README.md

Navigation Menu