[–] chaitanyya 1mo ago ↗ The usable formal methods hackathon. Build a piece of real-world production software, and formally verify it.
1 comment
[ 4.0 ms ] story [ 10.7 ms ] thread