Comment by marchdown 13 years ago I'm not sure that it's appropriate to ask, but I would love to see the paper. 2 comments marchdown Reply xamuel 13 years ago Here is the paper: 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 marchdown 13 years ago Thanks.
xamuel 13 years ago Here is the paper: 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 marchdown 13 years ago Thanks.
Here is the paper: 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
Thanks.