2019-08-09 19:33:24 (GMT)
I'm thinking of migrating logitest (and nunchaku, too?) to the Sneuuwballen organization.
This could be a basis for more generic test tools for provers (Zipperposition, E, …) if we do them in OCaml. Otherwise if @Petar Vukmirovic has other plans (e.g using another lang for the tools) it could still be useful to deprecate the old nunchaku-inria organization.