Index - U
| Union | Logic.Judge.Prover.Tableau |
| Universal | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| unmarked | Logic.Judge.Formula.Datastructure, Logic.Judge.Formula |
| Unprocessed | Logic.Judge.Prover.Tableau |
| update | Logic.Judge.PointedList |
judge-0.1.2.0: Tableau-based theorem prover.