Lib.rs
›
Users
#
isabelle
#
client-server
lotzk
Kevin Lotz
Joined crates-io 2 years ago. Joined GitHub 9 years ago.
GitHub
crates.io
Maintainer dashboard
lotzk created 1 crate
isabelle-client
Sole owner since Mar 2023. Last updated 2 years ago.