Lib.rs
›
Users
#
traits
#
prolog
rust-lang-chalk-publish-bot
Joined crates-io 3 years ago. Joined GitHub 3 years ago.
GitHub
crates.io
Maintainer dashboard
rust-lang-chalk-publish-bot created 1 crate
chalk-recursive
32
K
Sole owner since Jul 2020. Last updated 2 months ago.
Co-owns 4 crates
chalk-solve
32
K
Member since May 2020 (3 years)
chalk-ir
33
K
Member since May 2020 (3 years)
chalk-engine
Member since May 2020 (3 years)
chalk-derive
33
K
Member since May 2020 (3 years)