Revision as of 12:28, 23 February 2023 by David Geleßus (talk | contribs) (Update download link to new server)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: https://stups.hhu-hosting.de/downloads/prob/source/

You may also wish to obtain related Java sources: