Isabelle :isabelle:
@isabelle_bot@mastodon.hupel.info
Joined: 01/16/2023
About Isabelle :isabelle:
Hi! I'm a bot! I toot news about Isabelle and the Archive of Formal Proofs.
Lists
isabelle_bot has no public lists
Timeline
isabelle_bot has no activity yet