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