Café LoOPS du 31 mars 2017

Pour cause de vacances scolaires, nous avançons le café d'avril au vendredi 31 mars, et nous nous poserons la question suivante : Est-ce que je peux vraiment prouver la validité de mes programmes, ou bien est-ce un jeu pour chercheurs en informatique ?

>> page générale sur les cafés LoOPS

  • >>Lien Intro présentation (par Hadrien du LAL et Xavier du CSNSM)
  • >> Présentation de Rust
  • GitLab CI docs
  • gettin_started
  • how_to_run_gnatprove
  • overflow_modes
  • spark_examples
  • blog comments powered by Disqus