Gabriel Hondet

Table of Contents

1 Phd topic

Proofs translation into Dedukti, under the supervision of Frédéric Blanqui and Gilles Dowek.

2 Teaching

2.1 Projet programmation 1

2.1.1 Quelques ressources pour emacs

  • Un fichier de configuration, à copier dans le dossier ~/.emacs.d/ (ne pas oublier de lancer opam user-setup install après avoir placé le fichier). Ce fichier utilise le gestionnaire de paquets straight.el qui permet une configuration déclarative (donc il suffit de mettre le fichier au bon endroit et de lancer emacs; ce sera emacs qui installera tous les paquets)
  • Pour ceux qui veulent une distribution toute faite, allez voir Spacemacs (mode vim ou mode emacs), ou Doom emacs (mode vim seulement). Ces deux distributions fournissent un ensemble de paquets emacs pour obtenir un éditeur “fully featured” facilement (une petite configuration peut néanmoins rester nécessaire pour OCaml).

3 Publications

4 Contact

gabriel (dot) hondet (at) lsv (dot) fr

Author: Gabriel Hondet

Created: 2019-11-13 Wed 08:29

Validate