Lib.rs

› 用户 #first-order #logic

BenRogersNewsome

本杰明·罗杰斯-诺斯姆

一年前加入crates.io。9年前加入GitHub。

BenRogersNewsome创建了1个包

first_order_logic

自2023年2月起为唯一所有者。最后更新一年前。