Lecturas_GLC icon indicating copy to clipboard operation
Lecturas_GLC copied to clipboard

Published 20 hours ago • verified publisher icon jaalonso
→

Metadata

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

Results 1 Lecturas_GLC issues
Sort by recently updated
recently updated
newest added

Update README.org | Fixed previous readings links

Fixed previous readings links.

camilochs avatar camilochs

← Metadata

62
Stars
8
Forks
Watchers

Owner

verified publisher icon jaalonso

Metadata

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

Back