Explore projects

S

Isaac van Bakel / stdpp

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

0

Updated May 16, 2023

0 0 0 0

Updated May 16, 2023
L

Ike Mulder / lambda-rust

The Coq development of LambdaRust

0

Updated May 10, 2023

0 0 0 0

Updated May 10, 2023
Isaac van Bakel / Iris

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

0

Updated May 26, 2023

0 0 0 0

Updated May 26, 2023
C

Mateusz Rychlicki / Cav 2023 Artifact Evaluation

0

Updated Apr 28, 2023

0 0 0 0

Updated Apr 28, 2023
Simon Spies / RefinedC Extended

0

Updated May 26, 2023

0 0 0 0

Updated May 26, 2023
S

Marijn van Wezel / stdpp

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

0

Updated May 01, 2023

0 0 0 0

Updated May 01, 2023
L

Jan / lambda-where-fullproofs

0

Updated Apr 23, 2023

0 0 0 0

Updated Apr 23, 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
L

FCS / lambda-whr

0

Updated Mar 07, 2023

0 0 0 0

Updated Mar 07, 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 Apr 18, 2023

0 0 0 0

Updated Apr 18, 2023
P

Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

The main Coq development of the Prosa project: http://prosa.mpi-sws.org

0

Updated Jan 28, 2023

0 0 0 0

Updated Jan 28, 2023
A

Carina Schmitt / academicpages

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
P

RT-PROOFS / POET

The POET Response-Time Certificate Generator — see also https://prosa.mpi-sws.org/poet.html

0

Updated Apr 06, 2023

0 0 0 2

Updated Apr 06, 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 May 26, 2023

0 0 0 0

Updated May 26, 2023