Simple coq dummy compiler for playing with proofs about logging
Primary LanguageCoq
This repository is not active