Geeks
fd
/
nix-kani
Kani packaged for Nix
Primary Language
Nix
nix-kani GitHub
Markdown
Readme
1
Issue
1
Stargazer
2
Watchers
Issues
Open issue
Newer version of kani expects the presence of rustup
#1 opened
a year ago
by
edwardw
0