4 Commits

Author	SHA1	Message	Date
Zheyuan Wu	b5e88ee8cc	update syntax warnings	2025-08-29 23:28:12 -05:00
Trance-0	7bc7206604	proof format updates using gfm	2025-08-29 15:51:24 -05:00
Trance-0	802993833b	update	2025-08-27 15:52:24 -05:00
Zheyuan Wu	cbebc58935	updates	2025-08-25 22:10:12 -05:00