Coqide 8.5: Keine Syntaxhervorhebung unter Linux

Wie kann ich verschiedenen Benutzertypen unterschiedlichen Zugriff für die Anmeldung in Firebase gewähren?

css list inline listet Artikel nicht horizontal auf?

Automatische Reihenfolge der Exporte in index.ts bringt die App zum Absturz