DBDelve
Dive deep into your data. A fast, native, multi-engine database client written in Rust. Free and open source, no telemetry.
翻訳待ち
Lean 4 programming language and theorem prover
翻訳待ち
Loading the full README.
Read the full README ↗This is the repository for Lean 4.
See Install Lean.
Please read our Contribution Guidelines first.
See Building Lean.