Recent Posts
-
Hoare Logic BasicAssertions, Hoare Triples and Proof Rules.
-
Program EquivalenceFormalize equivalence relations.
-
Language Models and N-GramsWhat is a language models (LMs), and the very basic example of LMs -- the n-grams
-
FP in Haskell - Practical ConcernsPartial Functions, Folds and as-pattern
-
Simple Imperative ProgramDefine, evaluate, reasoning about a toy imperative program.
-
Relation PropertiesPlay with math ideas in Coq.