Covalue

Notes on the theory of programming languages, formal verification of programs, type theory, mathematical logic, constructivism and all sorts of stuff. All questions to @clayrat, english version: https://clayrat.github.io/