Discover projects, groups and snippets. Share your projects with others
Android app for a seminar
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
Implementation of Striver in Go.
An Input Validator for HTTP based on Context-free Languages
IDA 7.5 running inside docker containers