Lecturas GLC Save

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

Stars
62
Open Issues
1
Last Commit
2 weeks ago
Repository
jaalonso/Lecturas_GLC
License
GPL-3.0
Tags
Coq Functional Programming Haskell Isabelle Hol Itp Leanprover Logic Logic Programming Prolog

Open Source Agenda Badge

Open Source Agenda Rating
Submit Review Review Your Favorite Project
Submit Resource Articles, Courses, Videos
Submit Article Submit a post to our blog

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?

From the blog

Dec 11, 2022

How to Choose Which Programming Language to Learn First?