Rocq Prover sözdizimi kaydı

Kısa cevap: Rocq Prover, Pygments tarafından tanınan bir sözdizimi/lexer kaydıdır.

Temel bilgiler

Takma adcoq, rocq, rocq-prover

Dosya deseni*.v

MIMEtext/x-coq, text/x-rocq

Rocq Prover nedir?

Rocq Prover, Pygments sözdizimi vurgulama sisteminde tanımlı bir lexer kaydıdır. Bir programlama dili, işaretleme biçimi veya özel dosya formatını temsil edebilir.

Takma adlar

coq, rocq, rocq-prover

Dosya desenleri

*.v

MIME türleri

text/x-coq, text/x-rocq

İlgili konular

Kaynaklar ve doğrulama:

Pygments Lexers Documentation

Kaynakta bulunmayan bilgiler tahmin edilmez. Hızla değişen veriler yayın/güncelleme tarihiyle birlikte değerlendirilmelidir.