2 Commits (ae8db19940c2b514110d8c2de1d8d9044390993f)

Author	SHA1	Message	Date
Septs	73511adc74	update proof images	2021-10-06 08:38:45 +08:00
Septs	eaf626ce53	move diagnosis of proof to subdirectory	2021-10-04 12:57:44 +08:00