This is a demo instance. Do not store any relevant data here. You can use the user 'demo' and password 'password' to login.
avatar

Isabelle :isabelle:

@isabelle_bot@mastodon.hupel.info

Joined: 01/16/2023

38

Followers

1

Following
ProfileTrailsStatistics

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