Repositorios de código abierto monitorizados de jrh13, ordenados por estrellas.
El demostrador de teoremas HOL Light
