person
Fields medallist whose unpublished result was verified by the Liquid Tensor Experiment formalization effort in Lean.
No evidence-backed relationships are recorded.
No current published clusters are mapped here yet.