Ascent++
Search
Assertion list
for term "brought to proof".
Results from
Ascent++
:
1
bourbon
→
ReceivesAction
→
brought to proof
0.25