Isabelle2021-1-RC1 on Windows (virtual Server): minisat.exe crashes when checking theory HOL-Nitpick_Examples.Core_Nits in Isabelle/jEdit.
Description
Description
Related Objects
Related Objects
Isabelle2021-1-RC1 on Windows (virtual Server): minisat.exe crashes when checking theory HOL-Nitpick_Examples.Core_Nits in Isabelle/jEdit.