JeremyRubin/VerifiedDSP
Verifying Digital Signal Processing Designs in Coq
Lesson 1 for my class
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!
example of chapter bibs like http://tex.stackexchange.com/questions/17474/multiple-bibliographies
6.858 final project.