Explore projects

T

Iris / tutorial-popl24

0

Updated Jan 16, 2024

0 0 0 0

Updated Jan 16, 2024
T

Paolo G. Giarrusso / tutorial-popl18

Exercises for the Iris tutorial

0

Updated Nov 12, 2019

0 0 0 0

Updated Nov 12, 2019
T

Germán Delbianco / Tutorial POPL20

0

Updated Jan 21, 2020

0 0 0 0

Updated Jan 21, 2020
T

Arthur Azevedo de Amorim / Tutorial POPL20

0

Updated Jul 28, 2020

0 0 0 0

Updated Jul 28, 2020
T

Iris / Tutorial POPL18

Deprecated repository; please use the POPL 2021 version instead

1

Updated Jan 19, 2021

1 2 0 0

Updated Jan 19, 2021
T

Tej Chajed / Tutorial POPL18

Exercises for the Iris tutorial at POPL 2018

0

Updated Sep 15, 2020

0 0 0 0

Updated Sep 15, 2020
T

Rodolphe Lepigre / Treiber stack algorithm

0

Updated Mar 06, 2019

0 0 0 0

Updated Mar 06, 2019
T

Simon Spies / transfinite

Iris with transfinite step-indexing

0

Updated May 08, 2023

0 1 0 0

Updated May 08, 2023
T

Iris / transfinite

Iris with transfinite step-indexing

1

Updated Oct 04, 2024

1 1 0 1

Updated Oct 04, 2024
T

Johannes Hostert / transfinite

Iris with transfinite step-indexing

0

Updated Oct 30, 2023

0 0 0 0

Updated Oct 30, 2023
S

FP / summer_school_ex

0

Updated Aug 01, 2023

0 0 0 1

Updated Aug 01, 2023
S

Paolo G. Giarrusso / string-ident

An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode

0

Updated Apr 29, 2020

0 0 0 0

Updated Apr 29, 2020
S

Iris / string-ident

Deprecated project. An "Iris plugin" to add support for Gallina names in intro patterns to the Iris Proof Mode

1

Updated Mar 24, 2021

1 1 0 1

Updated Mar 24, 2021
S

Herman Bergwerf / stdpp

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

0

Updated Mar 08, 2023

0 0 0 0

Updated Mar 08, 2023
S

Pierre Roux / stdpp

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

0

Updated Jun 04, 2024

0 0 0 0

Updated Jun 04, 2024
S

Andrej Dudenhefner / stdpp

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

0

Updated Jul 07, 2022

0 0 0 0

Updated Jul 07, 2022
S

Dorian Lesbre / stdpp

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

0

Updated Dec 11, 2023

0 0 0 0

Updated Dec 11, 2023
S

Emanuele D'Osualdo / stdpp

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

0

Updated Nov 10, 2020

0 0 0 0

Updated Nov 10, 2020
S

Léo Stefanesco / stdpp

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

0

Updated Jul 15, 2024

0 0 0 1

Updated Jul 15, 2024
S

Ralf Jung / stdpp

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

0

Updated Nov 18, 2022

0 0 0 1

Updated Nov 18, 2022