/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

GNU General Public License v3.0GPL-3.0

Stargazers

No one’s star this repository yet.