https://bor0.wordpress.com https://bor0.wordpress.com I blog about math and programming. It is a random collection but mostly (but not only) functional program

https://bor0.wordpress.com https://bor0.wordpress.com I blog about math and programming. It is a random collection but mostly (but not only) functional programming, formal verification.