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

Haskell lean4 related posts

• Ask HN: Is writing a math proof like programming without ever running your code?
  3 projects | news.ycombinator.com | 27 Apr 2023
• Idris: A Language for Type-Driven Development
  4 projects | news.ycombinator.com | 20 Jan 2023
• Best Programming Language for Computational Proof
  3 projects | /r/math | 21 Jan 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 Haskell projects with our weekly report!