http://c25o7knygjm3m67jy27yuynvv4pkfi25naucscmh4ubq2ggiig3v57ad.onion/en/
It uses
the multithreading capabilities of neovim to allow abortion of evaluation, parses your
_CoqProject to load coq with the libraries you use and supports multiple coq sessions in the
same neovim session. Offlate A tool for translators: import translation projects, translate
and send your contribution in the way prefered by upstream.