Minimalist, distraction-free and content-focused Jekyll theme with flexible content width.
Primary LanguageCoqMIT LicenseMIT