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

Age	Commit message (Expand)	Author
2021-04-24	Reprove properties of the typing judgement.	Chloe Brown
2021-03-27	Introduce non-terminating proof of derivation existence.	Chloe Brown
2021-03-27	Prove soundness of judgement.soundness	Chloe Brown
2021-03-27	Begin soundness proof.	Chloe Brown
2021-03-23	Prove substitution into guarded variable.	Chloe Brown
2021-03-23	Replace transfer with shift.•••Prove substitution in the unguarded context.	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.•••Add some useful context transformations.	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