Flakes
Categories
Options
Packages
Sign in
MyNixOS
categories
by-name
ln
categories
by-name/ln
Showing entries 1-1 out of 1.
lngen-unstable
Nix package
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Previous
1
Next
