Explore projects

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

IDA 7.5 running inside docker containers

First HLS project

HLS Pseudo Random Generator