Ascent++
Search
Assertion list
for term "show x+y=0.80".
Results from
Ascent++
:
1
calculation
→
CapableOf
→
show x+y=0.80
0.27