Functional Programming & Proofs

Summary

I. Introduction with F#
II. Types' specification
III. Languages & Interpretations
IV. Logic and proofs (source)
V. Using CoqIDE

Practice

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

Restricted access

Copyright 2022 © laurent.thiry@uha.fr