Submissions by bor0

Top 3 applications I mostly use

Associativity of Elvis operator

Metamath

Calculus of Constructions

Coq to Haskell

MU puzzle

Intuitionistic logic

Curry–Howard correspondence

Code checklist

Deriving derivative

Researching automated theorem provers

Relation between strict and non-strict identities

Abstractions with Set Theory

Soft skills

Predicting values with linear regression

Correctness on iterative and recursive processes