alexgadea/hal-gui
hal-gui es la interfaz grafica para hal.
Developer Profile
alexgadea
Discovered public repositories for alexgadea in the GitHub catalog.
alexgadea/hal
Verificador de programas imperativos.
alexgadea/thesis
Estudio de semánticas para el lenguaje Forsythe.
alexgadea/fun-gui
fun-gui es la interfaz grafica para fun
alexgadea/fun
Derivador de programas a partir de especificaciones.
alexgadea/equ-gui
Chequeador de demostraciones de lógica ecuacional