Ascent++
Search
Assertion list
for term "display proof".
Results from
Ascent++
:
1
architect
→
CapableOf
→
display proof
0.35