MDD154

Exercices pour le cours de Logique et démonstrations assistées par ordinateur à Orsay.

Suivez les instructions d’installation de Lean sur https://lean-lang.org/install/ puis utilisez le menu ∀ de VSCode pour ouvrir le projet https://github.com/PatrickMassot/MDD154.git (il faut sélectionner Open Project puis Download project dans le menu).

Pour utiliser plutôt un éditeur supportable, voir https://github.com/Julian/lean.nvim/blob/main/README.md