crates.io "lean4" keyword
oxilean-elab 0.1.1
OxiLean elaborator - Surface syntax to kernel terms2 versions - Latest release: 2 days ago - 18 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-cli 0.1.1
OxiLean command-line interface2 versions - Latest release: 2 days ago - 10 downloads total - 1 stars on GitHub - 1 maintainer
oxilean 0.1.1
OxiLean - A Pure Rust theorem prover and dependent type checker inspired by Lean 42 versions - Latest release: 2 days ago - 10 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-lint 0.1.1
OxiLean linter - Static analysis and lint rules2 versions - Latest release: 2 days ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
oxilean-build 0.1.1
OxiLean build system - Project compilation and dependency management2 versions - Latest release: 2 days ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
tree-sitter-lean4 0.2.2
Tree-sitter grammar for Lean 4 (generates parser at build time)13 versions - Latest release: 14 days ago - 185 downloads total - 1 maintainer
lustc 0.7.0
A Lean4 subset to Rust source-to-source compiler1 version - Latest release: 22 days ago - 0 downloads total - 1 maintainer
lean-tui 0.6.12
Standalone TUI infoview for Lean 4 theorem prover39 versions - Latest release: 25 days ago - 456 downloads total - 1 maintainer
leo3 0.2.1
Rust bindings for the Lean4 theorem prover8 versions - Latest release: 25 days ago - 189 downloads total - 0 stars on GitHub - 1 maintainer
leo3-build-config 0.2.0
Build-time configuration for Leo38 versions - Latest release: 25 days ago - 275 downloads total - 0 stars on GitHub - 1 maintainer
leo3-macros 0.2.0
Procedural macros for Leo3 (Rust-Lean4 bindings)8 versions - Latest release: 25 days ago - 237 downloads total - 0 stars on GitHub - 1 maintainer
leo3-ffi 0.2.0
Raw FFI bindings to the Lean4 C API8 versions - Latest release: 25 days ago - 238 downloads total - 0 stars on GitHub - 1 maintainer
leo3-macros-backend 0.2.0
Implementation detail of Leo3 procedural macros8 versions - Latest release: 25 days ago - 275 downloads total - 0 stars on GitHub - 1 maintainer
Related Keywords
lean
11
mathematics
6
math
5
rust
5
rust-crate
5
rust-lang
5
rust-library
5
solver
5
type-theory
4
theorem-prover
3
compiler
2
macros
2
bindings
2
build
2
proof-assistant
2
tree-sitter
1
parser
1
project
1
source-to-source
1
transpiler
1
tui
1
procedural-macros
1
ffi
1
dependencies
1
static-analysis
1
lint
1
diagnostics
1
dependent-types
1
proof
1
cli
1
type-checking
1
syntax
1
elaborator
1