Formal Land
20 subscribers
Formal verification for everyday-life programs 🏇
If you have Telegram, you can view and join
Formal Land right away.