Firmo Network - Cross-blockchain language for writing financial smart contracts

smartcontract

#1

Produces FirmoLang, a cross-blockchain language for writing financial smart contracts


#2

From their whitepaper

domain specific, programming language: FirmoLang

FirmoLang is formally verified with the Coq Proof assistant

:ok_hand:

FirmoLang looks pretty declarative, and is essentially equiped with everything from the classic SPJ “composing contracts” paper

I approve :+1: