r/isabelle

108 archived posts · Dec 2010 – Jan 2022

The Isabelle proof assistant community.

r/isabelle

Isabelle proof assistant community. News, info and updates about Isabelle related topics: proofs, theories, papers, releases, and more..

Created Dec 5, 2010 · restricted

340Members (last snapshot)

108Archived posts

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.

Other communities

Reddit Rebuilt is an independent, non-commercial archive and is not affiliated with Reddit, Inc. Content belongs to its original authors.