François-René Rideau

1 talk by François-René Rideau

• Simple Formally Verified Dapps, Beyond Smart Contracts