You're viewing a single thread.
20
comments
just do everything in Isabelle and prove correctness, ezpz no tests required
This Isabelle?
This Isabelle
Blockier than I remember
So that's it, I read its overview, looks really powerful! Also goes way over my head
You've viewed 20 comments.