coq-plugin-template icon indicating copy to clipboard operation
coq-plugin-template copied to clipboard

Published 20 hours ago • verified publisher icon coq-community
→

Metadata

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]

Results 4 coq-plugin-template issues
Sort by recently updated
recently updated
newest added

Merging This Into Coq Plugin Tutorials?

3 comment

Is there a specific reason this is not in coq plugin tutorials? It would have saved me hours, probably will to others.

alpaylan avatar alpaylan

_CoqProject file for editors

7 comment

How would a `_CoqProject` file using this plugin look like? I couldn't make it work.

ju-sh avatar ju-sh

Update for Dune-Coq 0.8 and Coq 8.17

4 comment

Experiment with Dune-Coq 0.8 using docker-coq-action CI.

palmskog avatar palmskog

Bitshift when calling C function

I tried the template and noticed that the integer returned by the C function get_n is 1092 but the integer that is getting printed by the CallC Vernacular command is...

StamesJames avatar StamesJames

← Metadata

17
Stars
9
Forks
Watchers

Owner

verified publisher icon coq-community

Metadata

Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]

Back