gitpocket
explore
Log in
—
Register
Search
1 user matching
language:Isabelle
writing Isabelle
James Karlsson
~james
genius of some sort
Djursholm, Sweden
5 public repositories
Joined November 2026