jaalonso/Lecturas_GLC
Readings on computational logic, interactive theorem proving and functional programming.
GPL-3.0
Stargazers
- AbrahamAlcainaBarcelona
- aresbit
- berpeti
- bor0@Automattic
- bruno-who-likes
- camilochsIIIA-CSIC
- cpresseyOffice... submarine!
- csoroz
- cvogtSymbiont.io
- danidiazArtificial Labs
- fabiohtoSão Paulo
- fchGermany
- graememccGlasgow, Scotland
- haztecasoSpain
- jiamo
- juanbono@lambdaclass
- karen-pal@kunan-sa
- khushmeeetSunnyvale, California
- lucasdavidferreroSunchales/Rafaela (Santa Fe)
- manmorjim@tempuslabs
- miguel-vilaUK
- miguemoyaAndalucía, España
- moisesvwMedellín
- mroman42University of Oxford
- ndcroos
- omendezmorales37°28′35″S 73°20′40″W
- pedrofurlaNew York, NY, USA
- pedrojgaleraUniversity of Sevilla, Fever Labs, Lekta AI, brAIn.
- rodrigogribeiro
- RubenmpMCA Group
- serghost
- SvenWille
- timothyklim
- toborochi@Unosquare
- Tridu33
- vitorsvieiraNetherlands