Ninjastic
Home
Search
Users
Boards
Addresses
Ctrl + K
Toggle theme
Open menu
Post
Edited versions
Quotes to this post
Post
54947596
Topic
5267160
Board
Altcoin Discussion
Re: Smart Contract verification Framework in Coq
by
ataraxiaceleste
on
07/08/2020, 05:50:27 UTC
Quote from: legendsneednotags on
Today
at 05:48:03 AM
Is this what was being referred to?
https://www.cs.au.dk/~spitters/meta.pdf
Yes correct! This is exactly what I am referring to.