Lib.rs
›
Users
#
first-order
#
logic
BenRogersNewsome
Benjamin Rogers-Newsome
Joined crates-io a year ago. Joined GitHub 8 years ago.
GitHub
crates.io
Maintainer dashboard
BenRogersNewsome created 1 crate
first_order_logic
Sole owner since Feb 2023. Last updated a year ago.