Recent Posts
-
ContainersAbstract Interface and Data Structure
-
Induction Principlesthe underlying mechanism of the tactic `induction`.
-
Proof ObjectsThe Curry-Howard Correspondence.
-
Smart PointersWith great flexibility comes great responsibility.
-
Maps in Functional ProgrammingDefine data structure as functions.
-
Inductive PropositionsApart from normal "declarative" style, propositions can also be defined *inductively*.