Functional Programming & Proofs

Summary

I. Introduction with F#
II. Trees and languages (more)
III. Lists' processing (more)
IV. Logic and proofs
V. Using CoqIDE
VI. Exam: 04/12 - 14:00

Practice

  1. Functional Programming in F#
  2. Proofs with CoqIDE

Restricted access

Copyright 2022 © laurent.thiry@uha.fr