Language Models That Walk the Talk: A Framework for Formal Fairness Certificates