Ascent++
Search
Assertion list
for term "custom-written".
Results from
Ascent++
:
1
paper
→
HasProperty
→
custom-written
0.58