Pinned Repositories
isabelle-nunchaku
Nunchaku for Isabelle
kodkodi-pkg
small archlinux package for kodkodi
nunchaku
Model finder for higher-order logic
nunchaku-coq
[not-working] Coq plugin for using Nunchaku from Coq
nunchaku-problems
Set of problems for exercizing Nunchaku
nunchaku-vagrant
vagrant boxes for compiling nunchaku for several architectures
tlaps-nunchaku
vim-nunchaku
Vim syntax coloring for Nunchaku
nunchaku-inria's Repositories
nunchaku-inria/nunchaku
Model finder for higher-order logic
nunchaku-inria/nunchaku-coq
[not-working] Coq plugin for using Nunchaku from Coq
nunchaku-inria/tlaps-nunchaku
nunchaku-inria/isabelle-nunchaku
Nunchaku for Isabelle
nunchaku-inria/nunchaku-problems
Set of problems for exercizing Nunchaku
nunchaku-inria/kodkodi-pkg
small archlinux package for kodkodi
nunchaku-inria/nunchaku-vagrant
vagrant boxes for compiling nunchaku for several architectures
nunchaku-inria/vim-nunchaku
Vim syntax coloring for Nunchaku