Follow

Great article just hit talking about SafePKT, an EU funded research project with myself, @sh4l and our excellent colleagues, advancing the art of automatic software verification for Rust code in the PKT ecosystem! 🎉

crowdfundinsider.com/2021/08/1

· · Web · 0 · 5 · 1
Sign in to participate in the conversation
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!