3 ms·I'm not sure that it's appropriate to ask, but I would love to see the paper.by marchdown 14y agoI'm not sure that it's appropriate to ask, but I would love to see the paper.xamuel 14y agoHere is the paper: http://arxiv.org/abs/1105.4135 http://arxiv.org/abs/1105.4135 And here is the formalization of sections 2-3 in Coq: http://www.math.osu.edu/~alexander.421/mech.txt http://www.math.osu.edu/~alexander.421/mech.txtmarchdown 14y agoThanks.