/Dump-plugin

A plugin for Coq to output values to text-files.

Primary LanguageOCaml

Watchers