CoqPlugin-Template

Introduction

This repository is the template of Coq plugin. The project is inspired by the Coq plugin tutorial. See more information in my blog.

Build Requirements

Ocaml : 4.14.1

Coq : 8.19.1

Build and install procedure

make
make install

For VSCode OCaml Platform plugin

If you want to see types in vscode by VSCode OCaml Platform , you can build project by dune

eval $(opam env)
dune build
code .