6 commits

Author	SHA1	Message	Date
Yiyun Liu	0e04a7076b	Prove PairEta	2025-04-19 00:24:09 -04:00
Yiyun Liu	8e083aad4b	Add renaming_comp	2025-04-19 00:07:48 -04:00
Yiyun Liu	2b92845e3e	Add E_AppEta	2025-04-18 16:38:34 -04:00
Yiyun Liu	fe418c2a78	Fix preservation and broken cases in logrel	2025-03-03 15:29:50 -05:00
Yiyun Liu	bccf6eb860	Add Coquand's algorithm	2025-02-10 18:40:42 -05:00
Yiyun Liu	8105b5c410	Add admissible simple rules	2025-02-10 17:01:40 -05:00