Discover projects, groups and snippets. Share your projects with others
code from https://www.sable.mcgill.ca/soot/tutorial/profiler2/index.html
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
Android app for a seminar
First HLS project
HLS Pseudo Random Generator
Implementation of Striver in Go.