summaryrefslogtreecommitdiff
path: root/src/Cfe/Language
AgeCommit message (Collapse)Author
2021-04-29Finally prove that e [ μ e / zero ] ≈ μ e.Chloe Brown
Complete proof of generator.
2021-04-24Cleanup Derivation.cleanupChloe Brown
2021-04-12Cleanup Type properties.Chloe Brown
2021-04-06Add lexicographic expression ordering.Chloe Brown
2021-04-05Add some missing properties for singleton languages.Chloe Brown
2021-04-05Clean-up Language hierarchy.Chloe Brown
2021-03-29Introduce < for Languages.Chloe Brown
Move around some definitions.
2021-03-27Introduce non-terminating proof of derivation existence.Chloe Brown
2021-03-27Begin soundness proof.Chloe Brown
2021-03-27Prove satisfaction for concatenation.lemma3.5Chloe Brown
2021-03-25Prove sequential unique decomposition.Chloe Brown
Fix faulty definition of flast set.
2021-03-24Prove lemma 3.5 (7).Chloe Brown
2021-03-24Prove lemma 3.5 (5).Chloe Brown
2021-03-24Make progress on lemma 3.5 (4).Chloe Brown
2021-03-16Change Language definition to respects instead of custom congruence.Chloe Brown
2021-03-05Prove lemma 3.3Chloe Brown
2021-03-05Separate out some Language properties.Chloe Brown
2021-03-05Complete proofs up to Proposition 3.2 (excluding unrolling)Chloe Brown
2021-02-18Another redefinition of Language.Chloe Brown
2021-02-08Make languages records with more properties.Chloe Brown
2021-01-23Add basic properties of ≤Chloe Brown
2021-01-23Define languages.Chloe Brown
generated by cgit v1.2.3 (git 2.49.0) at 2025-04-30 07:22:52 +0000