1 Repositories
Rust last_order_logic Libraries
An experimental logical language
Last Order Logic An experimental logical language. Based on paper Last Order Logic. Motivation In First Order Logic, the truth values of quantified ex
5 Nov 9, 2021