yellowsquid/cfe-proof.git - [no description]

Age	Commit message (Expand)	Author
2024-01-23	Prove derivations are structurally unique.HEAD master	Chloe Brown
2021-04-29	Finally prove that e [ μ e / zero ] ≈ μ e.	Chloe Brown
2021-04-12	Remove unnecessary Type construction.	Chloe Brown
2021-04-12	Remove unnecessary comment.	Chloe Brown
2021-04-12	Cleanup Type properties.	Chloe Brown
2021-04-06	Cleanup Type base.	Chloe Brown
2021-03-27	Begin soundness proof.	Chloe Brown
2021-03-27	Prove satisfaction for concatenation.lemma3.5	Chloe Brown
2021-03-25	Prove sequential unique decomposition.	Chloe Brown
2021-03-24	Prove lemma 3.5 (7).	Chloe Brown
2021-03-24	Prove lemma 3.5 (5).	Chloe Brown
2021-03-24	Make progress on lemma 3.5 (4).	Chloe Brown
2021-03-16	Change Language definition to respects instead of custom congruence.	Chloe Brown
2021-03-05	Add type relations.	Chloe Brown
2021-03-05	Add lifted types.	Chloe Brown
2021-03-05	Add lemma 3.5.3.	Chloe Brown
2021-03-05	Prove satisfiability of τε.	Chloe Brown
2021-03-05	Prove satisfiability for τ⊥.	Chloe Brown
2021-03-05	Add base types and operators	Chloe Brown
2021-03-05	Add types and satisfiability	Chloe Brown