GitHub repository: vbcpascal/CoqBrainsMono
Description: Fonts with ligatures for specific languages, based on JetbrainsMono