Select languages
Just click on one of the languages to switch to it.
Repository Created on September 10, 2015, 8:29 pm
Cryptographic Primitive Code Generation by Fiat
Last updated on February 7, 2023, 5:47 am
Repository Created on February 1, 2020, 7:18 pm
Last updated on November 30, 2022, 5:19 pm
Repository Created on April 6, 2017, 11:21 am
The Vellvm (Verified LLVM) coq development.
Last updated on February 2, 2023, 7:49 pm
Repository Created on February 6, 2018, 1:19 am
An extension to PUMPKIN PATCH with support for proof repair across type equivalences.
Last updated on January 23, 2023, 7:01 am
Repository Created on June 11, 2016, 1:44 pm
Compilation and Verification of Data-Centric Languages
Last updated on February 5, 2023, 1:06 am
Repository Created on March 12, 2020, 9:31 am
A specification language for cryptography primitives.
Last updated on February 6, 2023, 5:45 am
Repository Created on November 1, 2016, 4:37 pm
Free & Fair's open source RLA support software.
Last updated on October 5, 2021, 7:40 pm
Repository Created on June 21, 2018, 6:53 pm
A Library for Representing Recursive and Impure Programs in Coq
Last updated on January 29, 2023, 6:33 pm
Repository Created on November 27, 2018, 3:24 pm
Sail RISC-V model
Last updated on February 7, 2023, 3:13 pm
Repository Created on November 8, 2017, 12:37 pm
Total Parser Combinators in Coq
Last updated on October 21, 2021, 7:04 pm
Repository Created on October 5, 2015, 12:26 pm
Last updated on January 9, 2023, 10:04 am
Repository Created on May 6, 2021, 9:49 am
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Last updated on December 14, 2022, 11:40 pm
Repository Created on February 8, 2018, 8:06 pm
Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT
Last updated on November 8, 2022, 7:14 am
Repository Created on May 13, 2011, 1:18 pm
A library of abstract interfaces for mathematical structures in Coq [[email protected]]
Last updated on December 10, 2022, 11:54 am
Repository Created on March 1, 2014, 6:37 pm
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Last updated on February 4, 2023, 1:22 pm
Repository Created on June 21, 2011, 9:06 am
Coq Repository at Nijmegen [[email protected],@VincentSe]
Last updated on December 10, 2022, 11:53 am
Repository Created on April 11, 2018, 10:26 am
Coherence of Heyting's first order arithmetic in Coq: "Proof assistants" project at LMFI, Paris-Diderot University (teacher: Pierre Letouzey)
Last updated on May 18, 2020, 12:27 pm
Repository Created on July 16, 2014, 3:30 pm
Coq library for working with de Bruijn indices [[email protected]]
Last updated on September 30, 2022, 10:15 pm
Repository Created on December 20, 2018, 10:11 pm
A Small Quantum Intermediate Representation
Last updated on January 24, 2023, 4:59 pm
Repository Created on March 3, 2022, 7:12 pm
Formalization of Wigderson's graph coloring algorithm in Coq
Last updated on May 28, 2022, 8:35 am
Repository Created on March 6, 2012, 2:49 pm
Last updated on October 14, 2013, 4:21 pm
Repository Created on March 16, 2012, 3:21 pm
Last updated on May 21, 2018, 6:52 am
Repository Created on September 27, 2010, 5:22 am
Coq 練習など
Last updated on May 26, 2014, 10:50 am
Repository Created on May 15, 2012, 11:39 am
Coq executable semantics and resource verifier
Last updated on June 10, 2022, 7:04 pm
Repository Created on April 23, 2012, 5:46 pm
my Coq code done for a university lecture http://askra.de/lehre/angewandte-verifikation/
Last updated on December 22, 2013, 4:38 am
Repository Created on February 4, 2016, 12:41 am
Dehn parental testing for orientable finite-volume hyperbolic 3-manifolds
Last updated on December 20, 2017, 6:41 pm
Repository Created on February 9, 2016, 6:30 am
Last updated on February 9, 2016, 6:31 am
Repository Created on February 19, 2016, 2:37 am
misc PL theory (or similar) stuff
Last updated on February 19, 2016, 2:40 am
Repository Created on December 9, 2015, 1:01 am
Random coq scripts.
Last updated on December 9, 2015, 1:01 am