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

Age	Commit message (Expand)	Author
2021-04-29	Finally prove that e [ μ e / zero ] ≈ μ e.	Chloe Brown
2021-04-24	Cleanup Derivation.cleanup	Chloe Brown
2021-04-12	Cleanup Type properties.	Chloe Brown
2021-04-06	Add lexicographic expression ordering.	Chloe Brown
2021-04-05	Add some missing properties for singleton languages.	Chloe Brown
2021-04-05	Clean-up Language hierarchy.	Chloe Brown
2021-03-29	Introduce < for Languages.	Chloe Brown
2021-03-27	Introduce non-terminating proof of derivation existence.	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	Prove lemma 3.3	Chloe Brown
2021-03-05	Separate out some Language properties.	Chloe Brown
2021-03-05	Complete proofs up to Proposition 3.2 (excluding unrolling)	Chloe Brown
2021-02-18	Another redefinition of Language.	Chloe Brown
2021-02-08	Make languages records with more properties.	Chloe Brown
2021-01-23	Add basic properties of ≤	Chloe Brown
2021-01-23	Define languages.	Chloe Brown