Informatique au Lycée Henri Poincaré Antoine Grospellier

Cours d'option informatique en MP*

• Programme de l'option informatique en MP*: lien.

• Installation OCaml

• Learn-Ocaml: lien.

• TP 1 - Arbres de preuve en logique propositionnelle - 11/09/2025
  Correction: TP01-correction.pdf