Lean 4 programming language and theorem prover (by leanprover)

Lean4 Alternatives

Similar projects and alternatives to lean4

  • GitHub repo z3_tutorial

    lean4 VS z3_tutorial

    Jupyter notebooks for tutorial on the Z3 SMT solver

  • GitHub repo ts-sql

    lean4 VS ts-sql

    A SQL database implemented purely in TypeScript type annotations.

  • Nanos

    Run Linux Software Faster and Safer than Linux with Unikernels.

  • GitHub repo rakudo

    lean4 VS rakudo

    🦋 Rakudo – Raku on MoarVM, JVM, and JS

  • GitHub repo souper

    lean4 VS souper

    A superoptimizer for LLVM IR

  • GitHub repo oil

    lean4 VS oil

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

  • GitHub repo ivy

    lean4 VS ivy

    IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform for developing and experimenting with automated proof techniques. In particular, IVy provides interactive visualization of automated proofs, and supports a use model in which the human protocol designer and the automated tool interact to expose errors and prove correctness. (by microsoft)

  • GitHub repo mbase

    lean4 VS mbase

    Metaprogramming framework for .net

  • Scout APM

    Scout APM: A developer's best friend. Try free for 14-days. Scout APM uses tracing logic that ties bottlenecks to source code so you know the exact line of code causing performance issues and can get back to building a great product faster.

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.

Suggest an alternative to 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 2021-04-24.


Basic lean4 repo stats
1 day ago

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

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
Find remote jobs at our new job board 99remotejobs.com. There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.