Repositórios de código aberto acompanhados de jrh13, ordenados por estrelas.
O provador de teoremas HOL Light.
