Assertion: pascal | /r/CapableOf | publish many of his theorems
Facets:
value: without providing proofs
type: MANNER
Source sentences:
text: Pascal published many of his theorems without providing proofs as a challenge to other mathematicians.