cool-japan/oxilean

OxiLean is a memory-safe, high-performance Interactive Theorem Prover (ITP) natively integrated into the Rust ecosystem. Inspired by Lean 4, it aims to bring formal verification to the Rust community

语言：Rust · GitHub 星标：19 · Fork：2

话题：lean · lean4 · math · mathematics · rust · rust-crate · rust-lang · rust-library

在 GitHub 上查看原仓库