Add new section for formal verification and learning resources
authorpham.michael.98@a029fe8ac2da19fcd7269c492cf0410b2e5fd4cc <phammichael98@web>
Mon, 23 Sep 2019 14:24:00 +0000 (15:24 +0100)
committerIkiWiki <ikiwiki.info>
Mon, 23 Sep 2019 14:24:00 +0000 (15:24 +0100)
commit6d54ef7a7daf119a4238792e584a930eaf494436
tree80334d37d36d51b63af0a8fb86cb6e3a34b3814f
parent6f79eeaed7e6dbcb0a757d88012903fffe5b6ee3
Add new section for formal verification and learning resources
resources.mdwn