Next up: James Chapman is talking about how to apply continuous formal methods to the Cardano blockchain!
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
Scottish PL Institute
@spli@mastodon.scot
This is the official Mastodon account for the Scottish Programming Languages Institute (https://spli.scot). Posts by @simon_jf
mastodon.scot
@spli@mastodon.scot
·
Nov 06, 2024
0
0
0
Loading comments...