We don't know any projects categorized as Lean yet.

Coq Lean related posts

• Will Computers Redefine the Roots of Math?

  6 projects | news.ycombinator.com | 30 Jun 2023

• Which proof assistant is the best to formalize real analysis/probability/statistics?

  3 projects | /r/Coq | 18 Jun 2023

Index

Sponsored

SaaSHub - Software Alternatives and Reviews

SaaSHub helps you find the best software and product alternatives

www.saashub.com

Do not miss the trending Coq projects with our weekly report!