this post was submitted on 19 Jan 2024
123 points (93.0% liked)
Programmer Humor
32479 readers
253 users here now
Post funny things about programming here! (Or just rant about your favourite programming language.)
Rules:
- Posts must be relevant to programming, programmers, or computer science.
- No NSFW content.
- Jokes must be in good taste. No hate speech, bigotry, etc.
founded 5 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the 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