lfoscari/emacsconfig

My very simple, very own, very begginery doom emacs config for working with Coq via Proof General

This repository is not active