lean4

Lean 4 programming language and theorem prover (by leanprover)

Lean4 Alternatives

Similar projects and alternatives to lean4

  1. Nim

    358 lean4 VS Nim

    Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

  2. InfluxDB

    InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.

    InfluxDB logo
  3. oils

    268 lean4 VS oils

    Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!

  4. DefinitelyTyped

    161 lean4 VS DefinitelyTyped

    The repository for high quality TypeScript type definitions.

  5. Lua

    121 lean4 VS Lua

    Lua is a powerful, efficient, lightweight, embeddable scripting language. It supports procedural programming, object-oriented programming, functional programming, data-driven programming, and data description.

  6. rocq

    88 lean4 VS rocq

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  7. roast

    89 lean4 VS roast

    🦋 Raku test suite

  8. zero-to-production

    Code for "Zero To Production In Rust", a book on API development using Rust.

  9. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
  10. Pluto.jl

    80 lean4 VS Pluto.jl

    🎈 Simple reactive notebooks for Julia

  11. rakudo

    63 lean4 VS rakudo

    🦋 Rakudo – Raku on MoarVM, JVM, and JS

  12. FStar

    48 lean4 VS FStar

    A Proof-oriented Programming Language

  13. Idris2

    40 lean4 VS Idris2

    A purely functional programming language with first class types

  14. tlaplus

    40 lean4 VS tlaplus

    TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

  15. dafny

    38 lean4 VS dafny

    Dafny is a verification-aware programming language

  16. mathlib3

    36 lean4 VS mathlib3

    Discontinued Lean 3's obsolete mathematical components library: please use mathlib4

  17. Agda

    27 lean4 VS Agda

    Agda is a dependently typed programming language / interactive theorem prover.

  18. mathlib4

    14 lean4 VS mathlib4

    The math library of Lean 4

  19. kuroko

    11 lean4 VS kuroko

    Discontinued Dialect of Python with explicit variable declaration and block scoping, with a lightweight and easy-to-embed bytecode compiler and interpreter.

  20. z3_tutorial

    1 lean4 VS z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

  21. ATS-Postiats

    ATS2: Unleashing the Potentials of Types and Templates

  22. ts-sql

    29 lean4 VS ts-sql

    A SQL database implemented purely in TypeScript type annotations.

  23. SaaSHub

    SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

    SaaSHub logo
NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better lean4 alternative or higher similarity.

lean4 discussion

Log in or Post with

lean4 reviews and mentions

Posts with mentions or reviews of lean4. We have used some of these posts to build our list of alternatives and similar projects. The last one was on 2024-10-10.

Stats

Basic lean4 repo stats
62
5,809
10.0
5 days ago

leanprover/lean4 is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of lean4 is Lean.


Sponsored
InfluxDB – Built for High-Performance Time Series Workloads
InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
www.influxdata.com

Did you know that Lean is
the 63rd most popular programming language
based on number of references?