Lib.rs
›
Users
#
isabelle
#
smt
lotzk
Kevin Lotz
Joined crates-io 2 years ago. Joined GitHub 9 years ago.
GitHub
crates.io
Maintainer dashboard
lotzk created 2 crates
smt-str
Sole owner since Mar 2025. Updated a week ago.
isabelle-client
Sole owner since Mar 2023. Last updated 2 years ago.