Ascent++
Search
Assertion list
for term "longer than sqrt(3".
Results from
Ascent++
:
1
chord
→
HasProperty
→
longer than sqrt(3
0.28