2Algorithmic Puzzle: Continuous Increasing Subsequences (opens in new tab)(bor0.wordpress.com)1bor05y ago1Save
4Towards Hoare logic for a small imperative language in Haskell (opens in new tab)(bor0.wordpress.com)3bor05y ago0Save
7A simple Constraint Programming implementation (opens in new tab)(bor0.wordpress.com)2bor05y ago0Save
12Encoding probability and random variables in Racket (opens in new tab)(bor0.wordpress.com)3bor06y ago0Save
14Introduction and Formalization of Boolean Algebra (opens in new tab)(bor0.wordpress.com)1bor06y ago0Save
