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.