Abhishek Kr Singh, Raja Natarajan: A constructive formalization of the weak perfect graph theorem. CPP 2020: 313-324