Skip to content

Make LPTP install and check cleanly on today's Prolog systems, and test it on every push - #4

Merged
FredMesnard merged 7 commits into
mainfrom
fix/modern-prolog-and-ci
Aug 6, 2026
Merged

Make LPTP install and check cleanly on today's Prolog systems, and test it on every push#4
FredMesnard merged 7 commits into
mainfrom
fix/modern-prolog-and-ci

Bring INSTALL.md up to date with the git layout and modern SWI-Prolog

3978dd1
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
proofs (gprolog)
succeeded Aug 6, 2026 in 21s