Some studies of the Coq Proof Assistant. Includes some notes about the Software Foundations series.
- Coq 8.8
- Using
direnv
with anix
hook:
$ direnv allow
- Using pure
nix
:
$ nix-shell
Some studies of the Coq Proof Assistant. Includes some notes about the Software Foundations series.
direnv
with a nix
hook:$ direnv allow
nix
:$ nix-shell