English Computing Dictionary
◊ OBJ2
OBJ0
Tardo. Based on unsorted equational logic.
 obi-wan error  obj  obj0  obj2  obj3