Here we give an update on our verification effort on the protocol of Tezos. We add the marks:
- โ for "rather done"
- ๐ for "partially done"
- โ for "most is yet to do"
On the website of project, we also automatically generates pages such as Compare to follow the status of the tasks.