eyeprolog CDN files

jsDelivr monthly hits badge
  1. eyeprolog@1.6.8 /
  2. test /
  3. conformance
...
cases
errors
expected
expected-errors
expected-proofs
expected-warnings
proofs
warnings
ISO-BUILTIN-MODE-ERROR-MATRIX.md 36.38 KB
ISO-COMPLIANCE.md 29.63 KB
ISO-CORRIGENDA-MATRIX.md 9.61 KB
ISO-EVALUABLE-FUNCTOR-MATRIX.md 6.83 KB
ISO-IMPLEMENTATION-DEFINED.md 25.66 KB
ISO-PART2.md 8.3 KB
ISO-PART3.md 5 KB
ISO-PROCESSOR-REQUIREMENTS.md 7.42 KB
ISO-PROLOG-TEXT-EXECUTION-MATRIX.md 10.68 KB
ISO-TERM-SEMANTICS-MATRIX.md 4.87 KB
ISO-WG17-EXTENSIONS.md 3.36 KB
NEUMERKEL-LATEST.md 2.01 KB
NEUMERKEL-LIVE.md 3.87 KB
README.md 9.52 KB
STC-DRAFT-STATUS.md 10.74 KB
THIRD_PARTY.md 7.35 KB
wg17-syntax-cases.json 121.4 KB

Free Open Source CDN for eyeprolog

Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/eyeprolog