lamport-proof
lamport-proof is Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations. - WWresearch/lamport-proof. It is ranked #7009 on the Dev Radar, in Testing & observability, first seen 59 days ago and shared in 1 post (16.4k views).
GitHub - WWresearch/lamport-proof: Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations. · GitHub Skip to content Navigation Menu Sign in Appearance settings Search / Sign in Sign up Appearance settings You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert {{ message }} WWresearch / lamport-proof Public Notifications You must be signed in to change notification settings Fork 0 Star 22 main…
Alternatives to lamport-proof
- Introducing Vercel CI — Vercel CI is in Beta. It runs only the checks your change affects, on compute sized to the push, using the Turborepo…
- Logging Sucks — Why traditional logging fails and how wide events can fix your observability
- Antithesis — Hello. We’re just gonna keep closing the loop with coding agents until the loop doesn’t exist anymore.
- Dagger — After five years of v0, Dagger 1.0 is in beta: official modules, test-native CI, remote execution and native GitHub…
- runner-up — GitHub Actions runners on your own machines, one fresh container or VM per job. Completely eliminate your cloud CI…
- e2e — Next generation e2e testing framework for web and mobile apps. - tester-army/e2e
lamport-proof in numbers
- Rank on the Dev Radar: #7009 of 9390
- Shared in 1 post by 1 account: @nasqret
- 16.4k views on those posts
- First seen 59 days ago, last shared 59 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Testing & observability
FAQ
What is lamport-proof?
Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations. - WWresearch/lamport-proof It was first shared on X 59 days ago and is ranked #7009 on the Dev Radar.
Is lamport-proof free?
It is open source.
Who shared lamport-proof?
1 account on X, including @nasqret, in 1 post totalling 16.4k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 31.6k posts from 5k X accounts over the last 21 days, 9.4k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-05 18:17 UTC. Full method.