Coq Interactive Theorem Prover snap

Coq Interactive Theorem Prover

by Coq Development Team (coq-team)

Get it from the Snap Store

latest/stable 2023-11-0

Published 22 February 2024