Add the Formal Land company

ligurio / practical-fm

A gently curated list of companies using verification formal methods in industry

495 stars 36 forks source link

Closed clarus closed 1 year ago

clarus commented 1 year ago

A change to add our company Formal Land https://formal.land/ where we do verification in Coq, in particular on the Tezos blockchain. Thanks.

clarus commented 1 year ago

Thanks!