The Coq proof assistant
@CoqLang
2,203
Followers
60
Following
5
Media
323
Statuses
Coq is a general-purpose proof assistant with applications in software and mathematics verification.
Joined January 2020
Don't wanna be here?
Send us removal request.