Recent Posts
-
Inductive PropositionsApart from normal "declarative" style, propositions can also be defined *inductively*.
-
CPP FunctionsAs functions are the most common structure in a program, it's worth a visit to it.
-
Propositional Logics in CoqPropositional logic calculus, FP programming with Propositions.
-
Operator Applications [CPP]Those confusing stuff.
-
Basic Tactics and Underlying LogicThis post explain basic and common tactics in Coq and their underlying logic.
-
Templates in CPPTemplates, Concepts and Polymorphism