4 Commits

Author	SHA1	Message	Date
Trance-0	e8b1850bde	title updates	2025-09-17 14:27:46 -05:00
Trance-0	7bc7206604	proof format updates using gfm	2025-08-29 15:51:24 -05:00
Zheyuan Wu	e497dab44e	disable cache on build	2025-07-06 12:50:29 -05:00
Zheyuan Wu	717520624d	upgrade structures and migrate to nextra v4	2025-07-06 12:40:25 -05:00