JeremyRubin/VerifiedDSP
Verifying Digital Signal Processing Designs in Coq
example of chapter bibs like http://tex.stackexchange.com/questions/17474/multiple-bibliographies
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Verifying Digital Signal Processing Designs in Coq
simple lamport signatures!
Lesson 1 for my class
6.858 final project.