pbstark / SHANGRLALinks
Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits
☆11Updated last month
Alternatives and similar repositories for SHANGRLA
Users that are interested in SHANGRLA are comparing it to the libraries listed below
Sorting:
- Old Clowdr versions 1 & 2 from 2020☆36Updated 4 years ago
- BibTeX bibliographies for proof engineering-related papers☆30Updated 5 years ago
- Lecture material for DeepSpec Summer School 2018☆68Updated 6 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Formal Modelling in VDM☆28Updated this week
- Relation algebra library for Coq☆48Updated 3 months ago
- ☆55Updated 2 months ago
- Library to create Coq record update functions☆48Updated this week
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated last year
- gallina frontend for CompCert☆18Updated 5 years ago
- An implementation of Hoare and He's Unifying Theories of Programming in Isabelle☆36Updated last year
- Bedrock Bit Vector Library☆28Updated last week
- A Coq library for parametric coinduction☆49Updated 4 months ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]☆38Updated 10 months ago
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆22Updated 3 years ago
- Implementation of Nuprl's type theory in Coq☆45Updated 6 months ago
- Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.☆36Updated 4 years ago
- Mostly Automated Synthesis of Correct-by-Construction Programs☆153Updated this week
- I.I-XI of Spinoza's Ethics, formalized in Coq☆18Updated 9 years ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆10Updated 4 months ago
- Templates for configuration files and scripts useful for maintaining Coq projects [maintainers=@liyishuai,@palmskog,@Zimmi48]☆13Updated last week
- Reflection library for Coq☆12Updated 5 years ago
- A web page with resources for teaching with formal methods and tools.☆14Updated 2 years ago
- Machine-checked Agda formalization for the ILC project☆15Updated 7 years ago
- The Penn Locally Nameless Metatheory Library☆74Updated 3 months ago
- Coq utility and tactic library.☆24Updated last year
- Simple autograder for Haskell programming assignments☆17Updated 4 months ago
- ☆36Updated 3 months ago
- Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.☆42Updated this week
- coinduction library for Coq☆19Updated 3 months ago