Lean Formal Methods

Open-source Lean projects categorized as Formal Methods
Edit details
Lean proof-automation theorem-proving formal-proofs formal-mathematics
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
featured

We don't know any projects categorized as Formal Methods yet.

Lean Formal Methods discussion

Log in or Post with

Lean Formal Methods related posts

  • An Easy-Sounding Problem Yields Numbers Too Big for Our Universe

    1 project | news.ycombinator.com | 4 Dec 2023

  • Lean 4.0.0, first official lean4 release

    10 projects | news.ycombinator.com | 7 Sep 2023

  • Towards a new SymPy: part 2 – Polynomials

    1 project | news.ycombinator.com | 8 Sep 2023

  • It's not mathematics that you need to contribute to (2010)

    1 project | news.ycombinator.com | 18 Jul 2023

  • Did studying proof based math topics e.g. analysis make you a better programmer?

    1 project | news.ycombinator.com | 24 Jun 2023

  • [R] Large Language Models trained on code reason better, even on benchmarks that have nothing to do with code

    1 project | /r/MachineLearning | 14 May 2023

  • Is there a paid service where someone can explain a paper to me like I am 15?

    2 projects | /r/PhD | 1 Apr 2023
  • A note from our sponsor - InfluxDB
    www.influxdata.com | 21 May 2025
    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. Learn more →

Index

-

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
Loading...