Skip to main content

All Questions

Filter by
Sorted by
Tagged with
40 votes
6 answers
5k views

Can one make high-level proofs about chess positions?

I realize this question is risky (as the title and the tags indicate), but hopefully I can make it acceptable. If not, and the question cannot be salvaged, I'm sorry and ready to delete it or accept ...
Michał Masny's user avatar