GitHub repository: ramified/codelearning
Primary language: TeX
Description: some descriptions of formal code