Giters
barras

barras

Geek Repo

17

followers

0

following

3

stars

Github PK Tool:Github PK Tool

barras's starred repositories

LCC_setoids_in_Coq

Coq proofs of categorical properties of setoids: local cartesian closedure and existence of coequalizers

Language:CoqStargazers:3Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:1Issues:0Issues:0

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.

Language:OCamlLicense:LGPL-2.1Stargazers:4696Issues:0Issues:0