How to peer-review formalized mathematicsIt may be quite hard to find a reviewer that both knows the math and can deal with the code.#andrej-bauer#research·math.andrej.com·Sep 7, 2020How to peer-review formalized mathematics