Ascent++
Search
math problem
subgroup of
problem
,
3
assertions
CapableOf
2
solve strategy
0.39
demonstrate on each page
0.31
ReceivesAction
1
solved
0.61