rust-logic-language A simple language for proof checking/writing in first-order logic (with a type system). Work in progress.