You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !programmerhumor@lemmy.ml
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.
just do everything in Isabelle and prove correctness, ezpz no tests required
This Isabelle?
This Isabelle
Blockier than I rememberSo that’s it, I read its overview, looks really powerful! Also goes way over my head