% states that all reals are not rational (countersatisfiable)% Status : CounterSatisfiable
%------------------------------------------------------------------------------
tff(the,conjecture,(! [X: $real] :
~ $is_rat(X) ) ).
%------------------------------------------------------------------------------
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback