Skip to content

improve Vampire's Prolog compliance - #1017

Merged
MichaelRawson merged 1 commit into
masterfrom
michael-prolog-compliance
Oct 12, 2026
Merged

improve Vampire's Prolog compliance#1017
MichaelRawson merged 1 commit into
masterfrom
michael-prolog-compliance

improve Vampire's Prolog compliance: space after negation, parenthesi…

6da830c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 11, 2026 in 11m 26s