OCaml Lean

Open-source OCaml projects categorized as Lean

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

OCaml Lean related posts

  • Mathematicians welcome computer-assisted proof in ‘grand unification’ theory

    2 projects | news.ycombinator.com | 19 Jun 2021

Index

-

Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com