4 Commits

Author	SHA1	Message	Date
xiaoh105	e7bc194ec7	feat: Add list_store_Z_nth lemma.	2025-06-03 17:52:15 +08:00
xiaoh105	f6bb7e9a66	feat: rewrite certain definitions of internal structures to make proof easier.	2025-05-30 00:41:29 +08:00
xiaoh105	47ca3e72bd	feat: Add definitions for basic structures.	2025-05-27 16:09:30 +08:00
xiaoh105	940b85ac80	initial commit	2025-05-21 16:56:46 +08:00