This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Hendrik
@CoInduction@inductive.space
Joined: 04/16/2025
About Hendrik
BoardGames ⊕ Logic (Blogic)
Lists
CoInduction has no public lists
Timeline
CoInduction has no activity yet