Ascent++
Search
Assertion list
math problem
(
subgroup
of
problem
)
→ CapableOf
Results from
Ascent++
:
2
math problem
→
CapableOf
→
solve strategy
0.39
math problem
→
CapableOf
→
demonstrate on each page
0.31