By: |
![]() ![]() ![]() THEN Try (All (Unfolds [`all`;`decidable`;`decision`]) THEN All (Unfold `or`) (THEN (Complete Auto) THEN Try (MoveToConcl -1 THEN GenConcl (f(x,y) = d) THEN Analyze -2 (THEN (All ( ![]() (THEN (Complete Auto) THEN Try (GenConcl (f(x,y) = d) THEN Analyze -2 THEN Unfold `dec2bool` 0 THEN Reduce 0) |
None
About:
![]() | ![]() | ![]() | ![]() | ![]() | ![]() | ![]() |
![]() | ![]() | ![]() | ![]() | ![]() | ![]() |