15-May-2022: Template-Coq: Obtaining constructors of a type13-Apr-2022: Heterogeneous lists in Coq09-Jan-2022: About strings in Coq31-Dec-2021: A translation for untyped arithmetic expressions in Coq10-Sep-2021: Couple of shortcuts for CoqtailFeb-2021: Setting up emacs as interface for coqFeb-2021: Installing coqtail in nvim with vim-plugFeb-2021: Installing coq using opam (Ubuntu and FreeBSD)