Comment by itishappy

7 hours ago

A published formalization is code. I would not think humans have any edge when it comes to citing previously published results.

0 comments