4 Commits (9031768625730d8a50cc5b28840a9a614d0198e3)

Author	SHA1	Message	Date
Septs	9f9560aaac	update proof images	2021-10-06 20:01:26 +08:00
Septs	85b6f3adc3	update proof images	2021-10-06 10:46:21 +08:00
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