This week Thibaut Chessé, Nomadic Labs FR adoption manager, did a blockchain initiation session for the Alyra blockchain school students and alumni, presenting Tezos and its most impressive use cases.
🙌 Thank you Alyra blockchain school for the invite! It’s a pleasure to exchange with your students about Tezos technology and projects.
Poke business schools & universities, don’t hesitate to contact us if you’re looking for a blockchain specialist as a guest speaker.😉
TL;DR: Formal verification is like proving a theorem but with code. The tester either gets the proof of the code’s correct operation with any input params or discovers the existing bugs. Cores of Wind...