Ascent++
Search
Assertion list
for term "given through the oracle".
Results from
Ascent++
:
1
maxim
→
ReceivesAction
→
given through the oracle
0.25