collaborators

1 paper

math.HO2024

Algorithm and abstraction in formal mathematics

Heather Macbeth

I analyse differences in style between traditional prose mathematics writing and computer-formalised mathematics writing, presenting five case studies. I note two aspects where goo…