WARNING: THIS SITE IS A MIRROR OF GITHUB.COM / IT CANNOT LOGIN OR REGISTER ACCOUNTS / THE CONTENTS ARE PROVIDED AS-IS / THIS SITE ASSUMES NO RESPONSIBILITY FOR ANY DISPLAYED CONTENT OR LINKS / IF YOU FOUND SOMETHING MAY NOT GOOD FOR EVERYONE, CONTACT ADMIN AT ilovescratch@foxmail.com
Skip to content

Developing and debugging with Nix

Jump to bottom Edit New page
Théo Zimmermann edited this page Aug 8, 2021 · 2 revisions

We recommend relying on the Coq Nix Toolbox to take full advantage of Nix for the development of a Coq project.

Add a custom footer
Add a custom sidebar

Clone this wiki locally