camilochs/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
GPL-3.0
Stargazers
No one’s star this repository yet.
Readings on computational logic, interactive theorem proving and functional programming.
GPL-3.0
No one’s star this repository yet.