search

ixjf / logic-rs

A parser of relational predicate logic & truth tree solver, written in Rust.
https://ixjf.github.io/logic-rs/
MIT License
16 stars 1 forks source link

How to properly document the format of Serde's output? #11

Open ixjf opened 5 years ago

ixjf commented 5 years ago

In TruthTree.