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

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

Marijn van Wezel / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Mar 31, 2025

0 0 0 0

Updated Mar 31, 2025
View stdpp project

Paulo Emílio de Vilhena / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Feb 13, 2021

0 0 0 0

Updated Feb 13, 2021
View stdpp project

Michael Sammler / stdpp
BSD 3-Clause "New" or "Revised" License

An extended "Standard Library" for Coq

0

Updated Jan 30, 2020

0 0 0 0

Updated Jan 30, 2020
View stdpp project

Yiyun Liu / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 31, 2024

0 0 0 0

Updated Jul 31, 2024
View stdpp project

Glen Mével / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Dec 22, 2021

0 0 0 0

Updated Dec 22, 2021
View stdpp project

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

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

0

Updated May 06, 2021

0 0 0 0

Updated May 06, 2021
View stdpp project

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

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

0

Updated Sep 27, 2023

0 0 0 0

Updated Sep 27, 2023
View stdpp project

Armaël Guéneau / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Jul 20, 2020

0 0 0 0

Updated Jul 20, 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

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

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

0

Updated Sep 08, 2024

0 0 0

Updated Sep 08, 2024
View stdpp project

Ike Mulder / stdpp
BSD 3-Clause "New" or "Revised" License

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

0

Updated Aug 28, 2023

0 0 0 0

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

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