--- layout: fc_discuss_archives title: Message 78 from Frama-C-discuss on August 2013 ---
Hello, On 08/30/2013 09:00 AM, Claude March? wrote: > I'm asking that because I'm trying to record existing use of Jessie/Why3 > in teaching, and I'd like to encourage people to share the exercises > they invent. (see http://why3.lri.fr/, section "Other Student Lectures > using Why3", and I'd like to improve it) For Frama-C, there are also these two pages of the Frama-C wiki that anyone (with a BTS account) can modify: - http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:teaching - http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:exercices -- Julien