Replication of https://github.com/HIPERFIT/contracts/blob/master/doc/icfp2015.pdf
cspr-rad / lean-contracts Goto Github PK
View Code? Open in Web Editor NEWreplication of "Certified Symbolic Management of Multi-party Financial Contracts" https://github.com/HIPERFIT/contracts