This repository is to build up a collection of pointers to economics formalizations (software, theorems, proofs).