Organize and Share your Electronics the way you want. Sign-Up for a free account now. It takes only 30 seconds!
The Coq Project
Deals with effectively machine-checked formal mathematics. In practice, this includes the study of mathematical formalisms well-suited for implementations, the implementations themselves and the use of these for various applications. Focuses on software correctness proofs.