Introduction

The goal of this project is to formalize the main theorems in the theory of vector and Banach lattices. Currently we are working towards a formalization of Kakutani’s representation theorem.