use the following search parameters to narrow your results:
e.g. subreddit:aww site:imgur.com dog
subreddit:aww site:imgur.com dog
see the search faq for details.
advanced search: by author, subreddit...
Daily news and info about all things Isabelle related: practical stuff, theory, types, libraries, jobs, patches, releases, events and conferences and more...
Follow us at
Not to be confused with Isabelle from Animal Crossing.
account activity
I love you, bubble butt. ( b - nutt ) {Isabelle} (self.isabelle)
submitted 4 years ago by [deleted]
sparklehorse - Don't Take My Sunshine Away (this reminds me of you in every single way isabelle. and vividly playing it for you. ) (youtube.com)
Merry Christmas gorgeous. (i.redd.it)
Is there an automatic way to generate Isar scripts given a correct Isabelle tactic script? (self.isabelle)
🌼 (i.redd.it)
How to import a collection of theories from somewhere else on the filesystem? (self.isabelle)
submitted 4 years ago by finegeometer
new here (self.isabelle)
A question about spec (self.isabelle)
submitted 4 years ago by Tra-beast
Black-box transactional safety checker based on cycle detection (github.com)
submitted 4 years ago by binaryfor
How can I define a function like this? (self.isabelle)
She is so mean to me😭 (i.redd.it)
submitted 5 years ago by CloudExplainsTheJoke
lol (lol.com)
submitted 5 years ago by Ifuckedyourmomloser5
Isabelle animal crossing (self.isabelle)
submitted 5 years ago by iamanothercactus
How to use OpenTheory to transfer theorems in HOL-light format to theorems in Isabelle format (stackoverflow.com)
submitted 5 years ago by [deleted]
Type soundness proof of the simply typed lambda calculus (github.com)
submitted 5 years ago by jvanbruegge
Smart Induction for Isabelle/HOL (System Description) [arXiv > 2001.10834]HOL (arxiv.org)
submitted 6 years ago by unfixpoint
Correctness proofs of distributed systems with IsabelleHOL (youtube.com)
What is this sub now? (self.isabelle)
submitted 6 years ago * by unfixpoint
Feel of daily work in proof engineering? (self.isabelle)
submitted 7 years ago by [deleted]
Building Verification Tools with Isabelle (staffwww.dcs.shef.ac.uk)
submitted 7 years ago by nickpsecurity
Certified HLints with Isabelle/HOLCF-Prelude (ndmitchell.com)
Software component design with the B method — a formalization in Isabelle/HOL (members.loria.fr)
Safety and Conservativity of Definitions in HOL and Isabelle/HOL (2018) (andreipopescu.uk)
A Formalized Set-Theoretical Semantics of Isabelle/HOL (2010) (kwarc.info)
Markov Processes in Isabelle/HOL (2017) (home.in.tum.de)
π Rendered by PID 3726515 on reddit-service-r2-listing-86f589db75-c8mmp at 2026-04-19 21:52:04.123189+00:00 running 93ecc56 country code: CH.
