Manual control
♦ 0. Inference browsing with <= x X =>
Examples illustrating input formats and heuristic controls
♦ 1. About
and
∃ controls
♦ 2. Preserving coherent FOL inputs
♦ 3. FOL algebra example
♦ 4. About ∨ controls
♦ 5. About
* controls
♦ 6. Some geolog source files
more to come later ...
GeologUI top page