Ascent++
Search
Assertion list
atom
(
primary
)
→ Desires
Results from
Ascent++
:
1
atom
→
Desires
→
be stable
0.41