/Lecturas_GLC

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

GNU General Public License v3.0GPL-3.0

No issues in this repository yet.