#

Coq

Coq is a formal proof management system. It provides a formal language to write

mathematical definitions, executable algorithms and theorems together with an

environment for semi-interactive development of machine-checked proofs. Typical

applications include the certification of properties of programming languages,

the formalization of mathematics and teaching.

Here are 5 public repositories matching this topic...

sr-lab / roundalize

Rounds and renders huge rational numbers to human-readable decimals.

coq rational-numbers rounding truncation

Updated Jul 8, 2018
C#

Erquint / CoQ_Centigrade

Caves of Qud Harmony-based mod.

harmony csharp unity dotnet mod mono coq caves-of-qud

Updated Nov 22, 2021
C#

sr-lab / pwned-api-wrapper

Wraps the Pwned Passwords API offering batch queries etc. from the command line.

api client wrapper coq pwned-passwords

Updated Jul 17, 2018
C#

Morphic-Symplexis / morphic-symplexis

A framework for Systems Verification of categories, Theories and Meta Theories in Lean, Rocq, C# and F#.

Updated Oct 17, 2025
C#

MikeMKH / talks

Talks that I have given

javascript clojure haskell slide angular typescript csharp fsharp coq idris lightning-talk tsql

Updated Dec 29, 2022
C#

Created by Gérard Pierre Huet, Thierry Coquand

Released 1989

Followers: 62 followers
Repository: coq/coq
Website: github.com/topics/coq
Wikipedia: Wikipedia