Home

Jump to bottom Edit New page

braibant edited this page Jul 5, 2011 · 14 revisions

Description

This is a plugin example, describing how to build reification tactics in ML.

To do

README
Documentation of the makefile (and how to use coq_makefile)
Documentation of how to install a plugin
License
Discuss the Mltop.add_known_module