2 Commits (71037fa70b96794b1473fa1963362ab9864f73aa)

Author	SHA1	Message	Date
Septs	a448243eeb	simplify ren zheng jia detail content	2021-10-04 17:10:44 +08:00
Septs	eaf626ce53	move diagnosis of proof to subdirectory	2021-10-04 12:57:44 +08:00