elfi

Pinned Repositories

agda-vim
Agda interaction in vim
Language:Vim Script0 1 00
aluffi
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
Language:TeX0 1 00
catlog
Categorical logic from a categorical point of view
Language:TeX0 1 00
coq-art
coq-art
Language:Coq0 1 00
CoqIDE
Emulate Coq IDE in VIM
Language:VimL0 1 00
first-opam-coq-package
Language:Coq00
httpx
A next generation HTTP client for Python. 🦋
Language:Python0 0 00
neovim-coq
Coq mode for Neovim
Language:Python00
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript1 1 00
sf
Language:Coq0 1 01

elfi's Repositories

elfi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript1 1 00
elfi/agda-vim
Agda interaction in vim
Language:Vim Script0 1 00
elfi/aluffi
Solutions to Paolo Aluffi's "Algebra: Chapter 0".
Language:TeX0 1 00
elfi/catlog
Categorical logic from a categorical point of view
Language:TeX0 1 00
elfi/coq-art
coq-art
Language:Coq0 1 00
elfi/CoqIDE
Emulate Coq IDE in VIM
Language:VimL0 1 00
elfi/first-opam-coq-package
Language:Coq00
elfi/httpx
A next generation HTTP client for Python. 🦋
Language:Python0 0 00
elfi/neovim-coq
Coq mode for Neovim
Language:Python00
elfi/sf
Language:Coq0 1 01