Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Anton Trunov / less-adhoc
The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma
0updated -
Felipe Gorostiaga / striver-go
Implementation of Striver in Go.
0updated -
Felipe Gorostiaga / mussApp
Android app for a seminar
0updated -
Pedro Valero / HTTPValidator
An Input Validator for HTTP based on Context-free Languages
0updated