Recent Posts
-
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
-
Polymorphism and Higher-order Function in Coqabstracting and reusing functions