index
:
avl-verification
main
Isabelle fork of https://github.com/RaitoBezarius/avl-verification
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
shell.nix
blob: 82fb296083fe3e0df111ba627fb67a3dcbf93813 (
plain
)
1
(
import
./default.nix
{})
.
shell
