--- layout: fc_discuss_archives title: Message 18 from Frama-C-discuss on June 2014 ---
Thanks for the hint. I understand that I need definitions of the math functions for alt-ergo, coq, etc (*.mlw files). I am using Alt-Ergo. Are these definitions available somewhere? Frank