Explore projects

Iris / Iris

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

13

Updated Dec 09, 2023

13 57 21 193

Updated Dec 09, 2023
L

Eva Darulova / latex-tips-tricks

1

Updated Dec 29, 2022

1 1 1 0

Updated Dec 29, 2022
Gaëtan Gilbert / Iris

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
I

Ralf Jung / Iris

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

0

Updated Sep 14, 2023

0 0 0 0

Updated Sep 14, 2023
I

Andrej Dudenhefner / Iris

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Lennard Gäher / Iris

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

0

Updated Apr 29, 2023

0 0 0 0

Updated Apr 29, 2023
Vincent / Iris

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

0

Updated Dec 29, 2022

0

Updated Dec 29, 2022
I

Rodolphe Lepigre / Iris

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Gregory Malecha / Iris

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
tlsomers / Iris

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

0

Updated Nov 20, 2023

0 0 0 0

Updated Nov 20, 2023
I

Simon Spies / Iris

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

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
I

Simon Hudon / Iris

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Yixuan Chen / Iris

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

0

Updated Apr 12, 2023

0 0 0 0

Updated Apr 12, 2023
I

Enrico Tassi / Iris

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
R

Daniel Neider / Resilient ABCD

Code and documents for "Resilient Abstraction-Based Controller Design"

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
P

Aman Shankar Mathur / PsychToolboxVR

0

Updated Feb 20, 2023

0 0 1 0

Updated Feb 20, 2023
I

Alix Trieu / Iris

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
Pierre Roux / Iris

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

0

Updated Nov 03, 2023

0 0 0 0

Updated Nov 03, 2023
Pierre Rousselin / Iris

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

0

Updated Nov 17, 2023

0 0 0 0

Updated Nov 17, 2023
R

Xavier Denis / rusthornbelt-latex

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022