Popular repositories Loading

1. tale tale Public

   Python module for ASP-like model search

   Python 2

2. latex-markdown latex-markdown Public

   A python module for compiling a Markdown-like DSL into pure Latex

   Python 1 1

3. formalizacion formalizacion Public

   Coursework for 'Formalización de matemática y ciencias de la computación con asistentes de prueba'

   Isabelle 1

4. playground playground Public

   Assorted functions

   Haskell