Explore projects

View thesis project

Baltasar Dinis / thesis

0

Updated Dec 02, 2022

0 0 0 0

Updated Dec 02, 2022
View teems project

restart-rollback / teems
MIT License

TEE-based Metadata Service

0

Updated Jul 10, 2023

0 0 0

Updated Jul 10, 2023
View tas-vmint project

Antoine Kaufmann / tas-vmint

0

Updated Oct 01, 2023

0 0 0 0

Updated Oct 01, 2023
View summer_school_ex project

FP / summer_school_ex

0

Updated Aug 01, 2023

0 0 0 1

Updated Aug 01, 2023
View string-ident project

Paolo G. Giarrusso / string-ident
BSD 3-Clause "New" or "Revised" License

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
View string-ident project

Iris / string-ident
BSD 3-Clause "New" or "Revised" License

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
View stdpp project

Jakob Botsch Nielsen / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 16, 2019

0 0 0 0

Updated Mar 16, 2019
View stdpp project

Pierre Roux / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 03, 2023

0 0 0 0

Updated Nov 03, 2023
View stdpp project

Hugo Herbelin / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 30, 2020

0 0 0 0

Updated Nov 30, 2020
View stdpp project

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

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

0

Updated Jun 28, 2021

0 0 0 0

Updated Jun 28, 2021
View stdpp project

Johannes Hostert / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 18, 2025

0 0 0 0

Updated Nov 18, 2025
View stdpp project

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

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

0

Updated May 25, 2021

0 0 0 0

Updated May 25, 2021
View stdpp project

Lennard Gäher / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 17, 2022

0 0 0 0

Updated Aug 17, 2022
View stdpp project

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

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

0

Updated Sep 17, 2020

0 0 0 0

Updated Sep 17, 2020
View stdpp project

Olivier Laurent / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 27, 2022

0 0 0 0

Updated Nov 27, 2022
View stdpp project

sarahzrf / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jun 18, 2020

0 0 0 0

Updated Jun 18, 2020
View stdpp project

Emanuele D'Osualdo / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Nov 10, 2020

0 0 0 0

Updated Nov 10, 2020
View stdpp project

Maxime Dénès / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Sep 05, 2019

0 0 0 0

Updated Sep 05, 2019
View stdpp project

Gregory Malecha / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 26, 2023

0 0 0 0

Updated Jul 26, 2023
View stdpp project

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

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

0

Updated Aug 14, 2019

0 0 0 0

Updated Aug 14, 2019