Math Rules of Inference with Coq List of proofs with Coq for each rule of inference stated in Wikipedia
