Tag Archives: geshi

Coq Syntax Highlighting Test

Posted on 2011/01/24 by Thomas Strathmann

A test case for Coq syntax highlighting in GeSHi (for the WP-Syntax plugin). Inductive nat : Set := | O : nat | S : nat -> nat.   Inductive fin : nat -> Type := | FO : forall … Continue reading →

Posted in Coq, Tools | Tagged , , | Leave a comment