Results for leo3

Found in 4 of 7 ecosystemsnpm 1–1 of 1 · 35 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

npm matches

1 match · JavaScript

@parkleo/leo3v1.0.0

npm

No description provided.

Abandoned. Last published 2 years ago.

crates.io matches

5 matches · Rust

leo3v0.2.2

crates.io

Rust bindings for the Lean4 theorem prover

Maintained. Niche but maintained, actively maintained.

leo3-build-configv0.2.2

crates.io

Build-time configuration for Leo3

Maintained. Niche but maintained, actively maintained.

leo3-macrosv0.2.2

crates.io

Procedural macros for Leo3 (Rust-Lean4 bindings)

Maintained. Niche but maintained, actively maintained.

leo3-macros-backendv0.2.2

crates.io

Implementation detail of Leo3 procedural macros

Maintained. Niche but maintained, actively maintained.

leo3-ffiv0.2.2

crates.io

Raw FFI bindings to the Lean4 C API

Maintained. Niche but maintained, actively maintained.