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 #1568 on the Dev Radar, in Testing & observability, first seen 13 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…
What people said about lamport-proof on X
Wojtek made a cool skill for systematically applying Leslie Lamport's proof style. This is useful when you want to find issues in, for example, AI-generated proofs. It can also make formalization easier. It's one of my favourite tricks for writing proofs.
— @nasqret, 13 days ago · 141 likes · see the post
Alternatives to lamport-proof
- lint — @shadcn delivering the goodies for us
- TesterArmy — available soon
- skills — Skills for Real Engineers. Straight from my .agents directory. - mattpocock/skills
- symfony.com — Retrouvez les derniers détails sur le programme dans cet article.
- jev-lint — Contribute to mizchi/jev-lint development by creating an account on GitHub.
- evlog — A modern TypeScript logger built for everything you ship — scripts, libraries, jobs, edge, requests. Simple logs, wide…
lamport-proof in numbers
- Rank on the Dev Radar: #1568 of 2143
- Shared in 1 post by 1 account: @nasqret
- 16.4k views on those posts
- First seen 13 days ago, last shared 13 days ago
- Pricing seen by Jev: 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 13 days ago and is ranked #1568 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 Jev (TypeSafe): what it is, which market it belongs to, and whether the link is a real tool. 18.9k posts from 4.9k X accounts over the last 21 days, 2.1k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-21 06:12 UTC. Full method.