Pinned Repositories
coq-undecidability-subtyping
ModularFOL
AR1920
peer-to-peer materials for AR 19/20 course
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
Fix
A functional, strongly and explicitly typed, programming language with static type-checking, based in the lambda calculus of first order with implicit recursion using only anonymous functions.
Rubiks-cube-solver
Simulador del cubo de Rubik que resuelve cualquier configuración en 20 pasos o menos
Sudoku-builder-solver
A builder and solver for sudokus written in Haskell
mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
AR1920
peer-to-peer materials for AR 19/20 course
ralvrz's Repositories
ralvrz/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
ralvrz/ModularFOL
ralvrz/AR1920
peer-to-peer materials for AR 19/20 course
ralvrz/Rubiks-cube-solver
Simulador del cubo de Rubik que resuelve cualquier configuración en 20 pasos o menos
ralvrz/Sudoku-builder-solver
A builder and solver for sudokus written in Haskell
ralvrz/Fix
A functional, strongly and explicitly typed, programming language with static type-checking, based in the lambda calculus of first order with implicit recursion using only anonymous functions.