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

Age	Commit message (Expand)	Author
2021-03-27	Prove soundness of judgement.soundness	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-23	Prove substitution into guarded variable.	Chloe Brown
2021-03-23	Replace transfer with shift.	Chloe Brown
2021-03-22	Prove transfer.	Chloe Brown
2021-03-21	Prove judgement weakening.	Chloe Brown
2021-03-20	Separate Context into a different module.	Chloe Brown
2021-03-20	Change judgement to use variable contexts.	Chloe Brown
2021-03-20	Introduce variable contexts.	Chloe Brown
2021-03-16	Change Language definition to respects instead of custom congruence.	Chloe Brown
2021-03-13	Move some properties to Properties.	Chloe Brown
2021-03-13	Add weakening proofs for type judgements.	Chloe Brown
2021-03-05	Add the type judgement	Chloe Brown
2021-03-05	Add type relations.	Chloe Brown
2021-03-05	Add lifted types.	Chloe Brown
2021-03-05	Remove incomplete unrolling proof.	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
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-28	Define induced posets.	Chloe Brown
2021-01-23	Add basic properties of ≤	Chloe Brown
2021-01-23	Define expression equivalence.	Chloe Brown
2021-01-23	Define semantics of expressions.	Chloe Brown
2021-01-23	Define languages.	Chloe Brown
2021-01-23	Define expressions	Chloe Brown
2021-01-23	Initial commit	Chloe Brown