coq_makefile - generate makefiles for Coq proof development

Contents

Description

coq_makefile is a makefile generator for Coq proof developments.

Name

       coq_makefile - generate makefiles for Coq proof development

Options

-h     Will give you a description of the whole list of options of coq_makefile.

See Also

coqtop(1), coqtc(1), coqdep(1)

       TheCoqReferenceManual.

       The Coq web site: http://coq.inria.frCOQ_MAKEFILE(1)

Synopsis

coq_makefile [ arguments ]

See Also

Cheatsheets

Makefile Cheatsheet - Streamline Development with Makefiles

Man Pages

CPAN::Plugin::Specfile

Cheatsheets

makefiles cheatsheets

Man Pages

Man Pages

Installerpedia

triton-lang/triton

List

← View User commands Category ← Back to File management 🙏 Credits & Acknowledgments