Karl Palmskog's repositories
coind-sem-while
Coinductive trace-based semantics for the While language in Coq
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
algorand-verification
Formal verification of the Algorand consensus protocol
coinduction
coinduction library for Coq
Coq-Equations
A function definition package for Coq
dedekind-reals
A formalization of the Dedekind reals in Coq
giskard-verification
Verified model of the Giskard consensus protocol in Coq
math-comp.github.io
https://math-comp.github.io/
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
sawtooth-giskard
An implementation of the Giskard consensus protocol for distributed transactions and computations.
trustfull-demonstrator
Code for the demonstrator of the Trustfull project based on the e-voting system verificatum
vcfloat
VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations