con-leche
con-leche is An external lean checker with a proof of consistency - leanprover/con-leche. It is ranked #9034 on the Dev Radar, in Testing & observability, first seen 54 days ago and shared in 5 posts (105.2k views).
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…
Alternatives to con-leche
- 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…
- Dagger — After five years of v0, Dagger 1.0 is in beta: official modules, test-native CI, remote execution and native GitHub…
- e2e — Next generation e2e testing framework for web and mobile apps. - tester-army/e2e
- Welcome — Welcome - cargo-mutants
- mutant-cafe — mutation testing for @EffectTS_
- Commit integration simulator — An interactive, seeded simulation of direct-to-main, batched merge queues, up-to-date PR CI, and quarantine and bypass.
con-leche in numbers
- Rank on the Dev Radar: #9034 of 9158
- Shared in 5 posts by 5 accounts: @__avik
- 105.2k views on those posts
- First seen 54 days ago, last shared 53 days ago
- Pricing seen by AGK Intelligence: open source
- Market: Testing & observability
FAQ
What is con-leche?
An external lean checker with a proof of consistency - leanprover/con-leche It was first shared on X 54 days ago and is ranked #9034 on the Dev Radar.
Is con-leche free?
It is open source.
Who shared con-leche?
5 accounts on X, including @__avik, in 5 posts totalling 105.2k 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.3k posts from 5k X accounts over the last 21 days, 9.2k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-03 18:17 UTC. Full method.