This repository was archived by the owner on Sep 12, 2026. It is now read-only.

Name		Name	Last commit message	Last commit date
.cargo		.cargo
.github/workflows		.github/workflows
.vscode		.vscode
crates		crates
doc		doc
formal		formal
python-verifier		python-verifier
src		src
tests		tests
.gitignore		.gitignore
AGENTS.md		AGENTS.md
CLAUDE.md		CLAUDE.md
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE-APACHE		LICENSE-APACHE
LICENSE-MIT		LICENSE-MIT
README.md		README.md
pyrightconfig.json		pyrightconfig.json
rustfmt.toml		rustfmt.toml

Repository files navigation

Development has migrated to the original leanVM repo

leanVM now uses binary fields by default.

bullish

About

No description, website, or topics provided.

Custom properties

19 stars

0 watching

Report repository

Releases

Packages

Contributors

Languages