GitHub repository: shilangyu/formal-lang
Primary language: TeX
Created: 2023-11-05T12:46:56Z
Description: A formal definition of a language accompanied by proofs of its properties.