IOHK PlutusFest 2018 | James Chapman - Academic Stream
Channel: Input Output
Date: 2019-01-29

In this talk, IOHK formal methods programmer, James Chapman, presented "Formalization of the meta theory of Plutus Core in Agda" to the audience of the invitation-only academic stream at the IOHK PlutusFest.

Get ready for smart contracts on Cardano, the third-generation blockchain and cryptocurrency.

https://plutusfest.io

On 11th December 2018, IOHK hosted a public day of presentations and debate with IOHK’s scientists and engineers about Plutus, the programming platform for smart contracts on the Cardano blockchain and Marlowe, the simple smart contracts language for financiers.

The sessions during the event introduced Marlowe, the financial smart contracts language designed to be used by financiers; the Plutus Playground for testing code; and Meadow, a web-based tool that helps create and test Marlowe smart contracts.

https://testnet.iohkdev.io/plutus/
https://testnet.iohkdev.io/marlowe/

--

See more at: https://iohk.io    

Get our latest news updates: https://iohk.io/blog/

Meet the team: https://iohk.io/team/

Learn about our projects: https://iohk.io/projects/

Visit our library: https://iohk.io/research/library/

In the press: https://iohk.io/press/

Work with us: https://iohk.io/careers/