Beast code in Giters

elfi's repositories

Archive for all Coq related OPAM packages organized in various repositories

Language:JavaScriptLGPL-2.11 10

Agda interaction in vim

Language:Vim ScriptBSD-2-Clause010

Solutions to Paolo Aluffi's "Algebra: Chapter 0".

Language:TeX010

Categorical logic from a categorical point of view

Language:TeXNOASSERTION010

Language:Coq010

Emulate Coq IDE in VIM

Language:VimL010

Language:CoqMIT000

A next generation HTTP client for Python. 🦋

Language:PythonBSD-3-Clause000

Coq mode for Neovim

Language:Python000

Language:Coq010