7 Commits

Author	SHA1	Message	Date
Zheyuan Wu	c426033b63	Update index.md	2025-11-07 00:01:32 -06:00
Trance-0	fb1ffcd040	updates	2025-10-27 11:56:32 -05:00
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	d8e5e34e28	updates	2025-07-12 17:00:42 -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