con-ron
con-ron is A rust port of con-leche. Contribute to leanprover/con-ron development by creating an account on GitHub.. It is ranked #459 on the Dev Radar, in Languages & runtimes, first seen 5 days ago and shared in 1 post (8k views).
GitHub - leanprover/con-ron: A rust port of con-leche · 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-ron Public Notifications You must be signed in to change notification settings Fork 4 Star 28 master Branches Tags Go to file Code Open more actions menu Latest commit History 718 Commits 718 Commits Folders…
What people said about con-ron on X
The Lean checker con-leche has a new offspring: con-ron. con-ron is con-leche in Rust, developed by Joachim Breitner (@nomeata). It ports con-leche to Rust, giving us an independent implementation that relies on a different compiler and runtime stack. https://github.com/leanprover/con-ron
— @Leonard41111588, 5 days ago · 143 likes · see the post
Alternatives to con-ron
- Probably — Introducing Probably: a programming language powered by Jev
- OpenJDK JDK 27 GA Release Builds — This article examines both
- runtime — The runtime behind every E2B stack: Cloud, Enterprise, and your own machine. - e2b-dev/runtime
- Bend — Bend: a fast language that blocks AI mistakes via proof.
- crates.io: Rust Package Registry — also now supports GPUI CE
- en.cppreference.com —
con-ron in numbers
- Rank on the Dev Radar: #459 of 1347
- Shared in 1 post by 1 account: @Leonard41111588
- 8k views on those posts
- First seen 5 days ago, last shared 5 days ago
- Pricing seen by Jev: open source
- Market: Languages & runtimes
FAQ
What is con-ron?
A rust port of con-leche. Contribute to leanprover/con-ron development by creating an account on GitHub. It was first shared on X 5 days ago and is ranked #459 on the Dev Radar.
Is con-ron free?
It is open source.
Who shared con-ron?
1 account on X, including @Leonard41111588, in 1 post totalling 8k 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.