Skip to content
@aprolog-lang

aprolog-lang

Popular repositories Loading

  1. aprolog aprolog Public

    αProlog

    OCaml 17 3

  2. checker-examples checker-examples Public

    Examples illustrating the use of αCheck, a specification checker for αProlog

    APL 1

Repositories

Showing 2 of 2 repositories
  • aprolog Public

    αProlog

    aprolog-lang/aprolog’s past year of commit activity
    OCaml 17 3 2 0 Updated Jul 9, 2023
  • checker-examples Public

    Examples illustrating the use of αCheck, a specification checker for αProlog

    aprolog-lang/checker-examples’s past year of commit activity
    APL 1 0 0 0 Updated Nov 1, 2017

Top languages

Loading…

Most used topics

Loading…