🎁 Get the FREE AI Skills Starter Guide β€” Subscribe β†’
BytesAgainBytesAgain
⭐ GitHub

Coq

by @github

Formal language and environment for programming and specification which facilitates interactive development of machine-checked proofs.