We know Proofs and Computations belongs here, but no one has told their story yet — no summary, no contributions, no map of who they influenced or were influenced by.
Sign in to illuminate this entry.