All Posts - A Commonplace Book

All Posts

2024

Curry-Howard Correspondence 01-12

The First Computer Algebra System: Maxima 01-04

Coq Project Setup 01-02

2023

OCaml Learning-III 12-31

OCaml Learning-II 12-30

OCaml Learning 12-30

Curry Howard Correspondence 12-28

Quantum Error Mitigation 07-08

Algebraic Data Type 07-04

Juliabeginner 06-07