derives
does
equational
reasoning
inferring
values
emitting
solution
—defined Thu, 06 Feb 2025 14:47:15 GMT by dwrensha
[history]
submit