Ascent++
Search
liquid helium
subgroup of
helium
,
2
assertions
HasProperty
1
cold
0.25
ReceivesAction
1
used to cool supercondu…
0.68