The background material: MML and the YELLOW series

The CCL-book embodies a block of advanced mathematics and assumes a lot of background knowledge of the readers. This posed two challenges for the CCL project.

• Nobody in the team was specializing in continuous lattices although almost everyone had a general mathematical background at the MSc level. The team included two PhDs in mathematics: A. Trybulec (topology) and G. Bancerek (logic).
• Before the actual formalization started, we did not have a good feel for how much material already in MML could be used in our endeavor--it turned out that a substantial amount of such material described in the remainder of the paper existed.