Explore projects

S

Ike Mulder / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
G

Ike Mulder / gpfsl

A combination of GPS and FSL in the ORC11 semantics (the promising semantics WITHOUT promises)

0

Updated Aug 23, 2023

0 0

Updated Aug 23, 2023
S

Adam / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 07, 2023

0 0 1 0

Updated Sep 07, 2023
S

Thibaut Pérami / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 21, 2023

0 0 0 0

Updated Sep 21, 2023
S

Neven Villani / simuliris

Local Simulation proofs, the Iris style

0

Updated Aug 23, 2023

0 0 0 0

Updated Aug 23, 2023
R

Lennard Gäher / Refinedrust Dev

0

Updated Sep 14, 2023

0 0 0 0

Updated Sep 14, 2023
S

Isaac van Bakel / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Aug 03, 2023

0 0 0 0

Updated Aug 03, 2023
L

Ike Mulder / lambda-rust

The Coq development of LambdaRust

0

Updated Aug 21, 2023

0 0 0 0

Updated Aug 21, 2023
Isaac van Bakel / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Aug 09, 2023

0 0 0 0

Updated Aug 09, 2023
Simon Spies / RefinedC Extended

0

Updated Jun 20, 2023

0 0 0 0

Updated Jun 20, 2023
S

Marijn van Wezel / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Aug 02, 2023

0 0 0 0

Updated Aug 02, 2023
Y

ds-ss23 / yfs-lab

0

Updated Apr 18, 2023

0 0 0 0

Updated Apr 18, 2023
Yixuan Chen / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Apr 12, 2023

0 0 0 0

Updated Apr 12, 2023
William Mansky / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated May 25, 2023

0 0 0 0

Updated May 25, 2023
S

Herman Bergwerf / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Mar 08, 2023

0 0 0 0

Updated Mar 08, 2023
Pierre Roux / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Feb 17, 2023

0 0 0 0

Updated Feb 17, 2023
P

Networked Systems / blockchain / other-projects / plot-layout

0

Updated Feb 13, 2023

0 0 0 0

Updated Feb 13, 2023
S

Dorian Lesbre / stdpp

An extended "Standard Library" for Coq. [coqdoc]

0

Updated Sep 21, 2023

0 0 0 0

Updated Sep 21, 2023
Simcha van Collem / Iris

The Coq development for Iris. [project website] [coqdoc]

0

Updated Feb 08, 2023

0 0 0 0

Updated Feb 08, 2023
R

Laila Elbeheiry / refinedc

0

Updated Jul 06, 2023

0 0 0 0

Updated Jul 06, 2023