erikmd/tapfa-init.el

Environnement de TP pour OCaml et Coq avec GNU Emacs (UE TAPFA = Types Abstraits et Programmation Fonctionnelle Avancée)

语言：Emacs Lisp · GitHub 星标：6 · Fork：6

话题：coq · emacs · ocaml · opam · proof-general · wsl

在 GitHub 上查看原仓库