Verso
Verso is a platform built on the Lean theorem prover for authoring documents, books, course materials, and websites. It allows writers to embed Lean code that is automatically type-checked during rendering. Every rendered page can be interactive, and the entire system leverages the Lean ecosystem. It is ideal for creating verifiable educational content, research papers, or technical books where correctness of embedded examples is paramount.
Open SourceApache-2.0Web
368stars
119forks
5features
2023since
Overview
5 featuresVerso sits in PulseGate's Frameworks & SDKs category. It focuses on creating interactive technical documents and books that contain verifiable, type-checked code examples. It is built as an open-source project for developers and technical writers. Verso is open source under the Apache-2.0 license. Verso is available on the web.
Behind Verso is Lean Community, and it first shipped in 2023. The project is developed in the open on GitHub with 368 stars and 58 commits in the last 90 days. Among its 5 catalogued features are Lean Integration, Type Checking, and Interactive Pages.
Summary written by a language model from the project’s public pages.
- Lean Integration
- Type Checking
- Interactive Pages
- Document Authoring
- Code Examples
Tags
lean-languageliterate-programminginteractive-docstheorem-provingdocument-platform
Built with & integrations
Hosting
Netlify
Runs on
Browser
Detected from
- Netlify
- x-nf-request-id header
Trust & compliance
License
Apache-2.0
Verified signals
Indexing history
1What PulseGate has recorded for this listing
- Indexed28 Jul · 14:23 UTCVerso is a platform for writing documents, books, course materials, and websites verified against its public sourceSource: PulseGate · Open
Frequently asked questions about Verso
- What does Verso do?
- Verso focuses on creating interactive technical documents and books that contain verifiable, type-checked code examples. It is catalogued under Frameworks & SDKs on PulseGate.
- Who should use Verso?
- Verso is an open-source project built for developers and technical writers.
- Does Verso have a free plan?
- Yes — Verso is open source under the Apache-2.0 license and free to use.
- What platforms does Verso run on?
- Verso runs on the web.
- Is Verso still active?
- The GitHub repository shows 58 commits in the last 90 days.
- What are alternatives to Verso?
- Similar projects tracked by PulseGate include conda-broker, genome-uploader, and ipaddons.conda-brokergenome-uploaderipaddons
- Who develops Verso?
- Verso is developed by Lean Community.
- When did Verso launch?
- Verso first shipped in 2023.
Also in Frameworks & SDKs
Same category — not a similarity match