Giters
fd
/
nix-kani
Kani packaged for Nix
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
2
Issues:
1
Forks:
fd/nix-kani Issues
Newer version of kani expects the presence of rustup
Updated
8 months ago