Page MenuHomeIsabelle/Phabricator

Update component for SPASS
Closed, ResolvedPublic

Description

Routine update of "spass" for sledgehammer.

Event Timeline

makarius triaged this task as Normal priority.Oct 29 2020, 2:32 PM
makarius created this task.
makarius claimed this task.

Done in Isabelle/c2b44fb3add4, already sufficient for Isabelle2021 release.

(The SPASS project is fairly inactive, so this is still spass-3.8s by Blanchette et al.)