Contributions of the coq proof assistant is deleted.
This project has been deleted. It can be reinstated by reapplying the create edit (see the Edit History).
This project has been deleted. It can be reinstated by reapplying the create edit (see the Edit History).