Leonardo de Moura developed Lean to provide a more expressive interactive theorem prover than automated theorem provers like Z3

Bb5a31f81Topic

Developer tools

SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.

285 claims·2 news stories

0