Explore projects

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

Scripts for proof reading text documents

HLS Pseudo Random Generator

Implementation of Striver in Go.