Verso
Verso is Verso — Written in Lean, checked by Lean. It is ranked #8308 on the Dev Radar, in Other, first seen 28 days ago and shared in 1 post (35 views).
Verso — Written in Lean, checked by Lean Verso Verso Written in Lean. Checked by Lean. Verso is a platform for writing documents, books, course materials, and websites with Lean . Every code example is type-checked. Every rendered page is interactive. And it's all built on the tools you already use. Get Started User Manual The type of all predicates over a type is that type's _powerset_ . Elements of one of these subsets satisfy the predicate: ``` lean def Set (α : Type u) : Type u := α → Prop instance : Membership α (Set α) where mem xs x := xs x ``` A function
Alternatives to Verso
- Step-5-Preview — Join the countdown
- Google — Argon is rolling out today to Google Ultra and Pro subscribers in the @GeminiApp and Search, and Ultra subscribers in…
- nanbeige4.3-33b — We’re on a journey to advance and democratize artificial intelligence through open source and open science.
- Spark-X2.5 — Healthcare-focused AI just got a little lighter. Same powerful reasoning, less memory to worry about. 🤖
- anymove — Open source
- Ideogram — Live in Ideogram and the API
Verso in numbers
- Rank on the Dev Radar: #8308 of 8798
- Shared in 1 post by 1 account: @jreuben1
- 35 views on those posts
- First seen 28 days ago, last shared 28 days ago
- Pricing seen by AGK Intelligence: not stated
- Market: Other
FAQ
What is Verso?
Verso — Written in Lean, checked by Lean It was first shared on X 28 days ago and is ranked #8308 on the Dev Radar.
Is Verso free?
Pricing is not stated on the page we read.
Who shared Verso?
1 account on X, including @jreuben1, in 1 post totalling 35 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.2k posts from 5k X accounts over the last 21 days, 8.8k tools, 12 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-10-30 20:27 UTC. Full method.