--- layout: fc_discuss_archives title: Message 10 from Frama-C-discuss on July 2016 ---
Le 11/07/2016 12:13, Prasuna Saka a écrit : > Many Thanks for the quick replies. Wanted to know whether > Jessie plug-in is able to handle trigonometric functions? If so, can I > use Jessie with Coq? yes and yes - Claude -- Claude Marché | tel: +33 1 69 15 66 08 INRIA Saclay - Ãle-de-France | Université Paris-sud, Bat. 650 | http://www.lri.fr/~marche/ F-91405 ORSAY Cedex |