People

Cruise Song

Cruise Song is listed as an Imandra research intern. His work connects automated reasoning and interactive theorem proving, including Lean, with a research affiliation at Georgia Institute of Technology.