Template:ProBSourceCode

Revision as of 08:57, 13 January 2021 by Michael Leuschel (talk | contribs) (Created page with " The kernel of ProB is written in Prolog and you can download the latest Prolog sourcecode snapshot from: [http://www3.hhu.de/stups/downloads/prob/source/ http://www3.hhu.de/...")
(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: http://www3.hhu.de/stups/downloads/prob/source/

You may also wish to obtain related Java sources: