con-leche
con-leche is con-leche, a CONsistent LEan CHEcker: an external Lean checker proven (in Lean) to be consistent, meaning it does not accept a proof of False. A project conceiv. It is ranked #264 on the Dev Radar, in Testing & observability, first seen 9 days ago and shared in 4 posts (98.4k views).
What con-leche says about itself
An external lean checker with a proof of consistency - leanprover/con-leche
GitHub - leanprover/con-leche: An external lean checker with a proof of consistency · 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 }} leanprover / con-leche Public Notifications You must be signed in to change notification settings Fork 9 Star 116 master Branches Tags Go to file Code Open more actions menu Latest commit History…
What people said about con-leche on X
Lean has a new checker: con-leche, a CONsistent LEan CHEcker. This is an external checker for Lean that is proven (in Lean) to be consistent, meaning it does not accept a proof of False. Joachim Breitner (@nomeata) is the mastermind behind the project. https://github.com/leanprover/con-leche
— @Leonard41111588, 9 days ago · 554 likes · see the post
con-leche, a CONsistent LEan CHEcker: an external Lean checker proven (in Lean) to be consistent, meaning it does not accept a proof of False. A project conceived by Joachim Breitner (@nomeata): https://github.com/leanprover/con-leche #leanprover #leanlang #lean4
— @leanprover, 8 days ago · 248 likes · see the post
Amazing!!!
— @AlexKontorovich, 9 days ago · 65 likes · see the post
Alternatives to con-leche
- lint — @shadcn delivering the goodies for us
- Sentry — Debug any software issue, onboard your team, and integrate with your systems. You get 14 days free on our Business…
- evlog — A modern TypeScript logger built for everything you ship — scripts, libraries, jobs, edge, requests. Simple logs, wide…
- neko-master — A modern and elegant dashboard for network traffic visualization and analysis. - foru17/neko-master
- Testing JavaScript — Learn the smart, efficient way to test any JavaScript application.
- chaosbringer — Chaos engineering for Playwright tests. Contribute to mizchi/chaosbringer development by creating an account on GitHub.
con-leche in numbers
- Rank on the Dev Radar: #264 of 1347
- Shared in 4 posts by 4 accounts: @Leonard41111588, @leanprover, @AlexKontorovich, @__avik
- 98.4k views on those posts
- First seen 9 days ago, last shared 8 days ago
- Pricing seen by Jev: open source
- Market: Testing & observability
FAQ
What is con-leche?
con-leche, a CONsistent LEan CHEcker: an external Lean checker proven (in Lean) to be consistent, meaning it does not accept a proof of False. A project conceiv It was first shared on X 9 days ago and is ranked #264 on the Dev Radar.
Is con-leche free?
It is open source.
Who shared con-leche?
4 accounts on X, including @Leonard41111588, @leanprover, @AlexKontorovich, in 4 posts totalling 98.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. 12.2k posts from 4.7k X accounts over the last 21 days, 1.3k tools, 12 markets. Collected every 5 minutes, fully re-ranked every hour — last update 2026-09-19 16:57 UTC. Full method.