Bb5a31f81Topic
Developer tools
SDKs, APIs, testnets, and frameworks making it easier to build and deploy decentralized applications.
285 claims·2 news stories
Leonardo de Moura initially favored higher-order logic and simple type theory for Lean due to the minimalistic design of HOL Light
Bb5a31f81Topic