Page 3 of 6 for Chew’s Everyday Blog | A blog of a CS student.

Recent Posts

Jan 1, 2024 Software-Foundations

Relation Properties
Coq Discrete Math

Play with math ideas in Coq.
Dec 26, 2023 C++

Containers
C++

Abstract Interface and Data Structure
Dec 22, 2023 Software-Foundations

Induction Principles
Coq

the underlying mechanism of the tactic `induction`.
Dec 17, 2023 Software-Foundations

Proof Objects
Coq

The Curry-Howard Correspondence.
Dec 14, 2023 C++

Smart Pointers

With great flexibility comes great responsibility.
Dec 11, 2023 Software-Foundations

Maps in Functional Programming
Coq

Define data structure as functions.

« Prev 1 2 3 4 5 6 Next »