  In these lectures I consider the half-filled two-dimensional (2D) Hubbard
model on the honeycomb lattice and I review the rigorous construction of its
ground state properties by making use of constructive fermionic Renormalization
Group methods.
