Ascent++ | expressed as worded informal arguments

Assertion list for term "expressed as worded informal arguments".

Results from Ascent++: 1

proof → ReceivesAction → expressed as worded informal arguments

0.28