Siraphob Phipathananunth. Towards the Formal Verification of Wigderson's Algorithm. In Vasco Thudichum Vasconcelos, editor, Companion Proceedings of the 2023 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, Cascais, Portugal, October 22-27, 2023. pages 40-42, ACM, 2023. [doi]
Abstract is missing.