Home
Random

Log in

Settings

About English Wikipedia @ Freddythechick

English Wikipedia @ Freddythechick

Coq proof assistant

Language
Watch
View source

Redirect page

Redirect to:

Coq (software)

Retrieved from "https://enwiki.freddythechick.net/index.php?title=Coq_proof_assistant&oldid=2815805"

Last edited on 12 November 2023, at 20:57

Languages

This page is not available in other languages.

English Wikipedia @ Freddythechick

This page was last edited on 12 November 2023, at 20:57.
Content is available under Creative Commons Attribution-ShareAlike 4.0 unless otherwise noted.

About English Wikipedia @ Freddythechick
Desktop