Vinay GUPTA (former Ethereum) explains the value of OLE

OLE mathematical compiler can proof that OLE is compiled to error free code.

A must for government regulated blockchains.

OLE texts can be validated for correctness by domain experts. Validated OLE can then be compiled to the Solidity programming language of Ethereum, producing well-structured and maintainable blockchain code. OLE to Corda/Kotlin for Q2.