Topic
No public IJR answers mention Isabelle yet. As people ask about it and share their answers, they'll appear here.
Not who you're looking for? Others named Isabelle: partially built particle accelerator in the United States · 2018 artwork by Julian Voss-Andreae · higher-order logic (HOL) proof assistant · 2018 film directed by Rob Heydon