Explore projects

I

Andrej Dudenhefner / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Yusuke Matsushita / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 19, 2023

0 0 0 0

Updated Mar 19, 2023
R

Xavier Denis / rusthornbelt-latex

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Enrico Tassi / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
L

Iris / Logo

archived 0

Updated Dec 29, 2022

archived 0 0 0 0

Updated Dec 29, 2022
R

Yusuke Matsushita / RustHornBelt Old

RustHorn × RustBelt

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Arthur Azevedo de Amorim / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated May 24, 2023

0 0 0 0

Updated May 24, 2023
I

Alix Trieu / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
L

Eva Darulova / latex-tips-tricks

1

Updated Dec 29, 2022

1 1 1 0

Updated Dec 29, 2022
I

Simon Friis Vindum / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 28, 2023

0 0 0 0

Updated Aug 28, 2023
I

Abel Nieto / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Jules Jacobs / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Abhishek Anand / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Germán Delbianco / Iris
Creative Commons Attribution 4.0 International

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
Creative Commons Attribution 4.0 International

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

0

Updated Apr 04, 2023

0 0 0 0

Updated Apr 04, 2023
S

Michalis Kokologiannakis / sav-science

0

Updated Aug 01, 2023

0 0 0 0

Updated Aug 01, 2023
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
I

Dmitry Khalanskiy / Iris
Creative Commons Attribution 4.0 International

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022
I

Simon Spies / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 01, 2023

0 0 0 0

Updated Feb 01, 2023
I

Rodolphe Lepigre / Iris
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 29, 2022

0 0 0 0

Updated Dec 29, 2022