Hacker GitHub

← All repos

leanprover/SampCert

View on GitHub ↗ ★ 110 Lean

SampCert : Verified Differential Privacy

3 mentions on Hacker News by 3 people: 0 stories, 3 comments · first 2024-06-10 · latest 2026-04-14

Mentions per year 3 mentions · busiest year 2026 (2)
20082026
AllStoriesComments NewestTopOldest
  1. Yes, here's a concrete example: https://github.com/leanprover/SampCert This is an implementation of a verified sampler, in lean. Not an embedding in some other language. The implementation itself is in lean, and a python ffi is used to…
    comment by gopiandcode · 2026-04-14 · in Lean proved this program correct; then I found a bug
  2. …s://www.microsoft.com/en-us/research/blog/rewriting-symc... [2] https://github.com/leanprover/KLR [3] https://github.com/leanprover/SampCert
    comment by markusde · 2026-03-20 · in Leanstral: Open-source agent for trustworthy coding and formal proof engineering
  3. …who initiated Lean, is now at AWS. To add even more complications, AWS does also use Lean, e.g. https://github.com/leanprover/SampCert
    comment by GregarianChild · 2024-06-10 · in Interactive Theorem Proving, Guest Lecture – Introduction to HOL [video]