lurk-lisp

API implementation

Implementation of the Lurk API without proof-related mechanisms

Lisp implementation of Lurk.

68 stars

19 watching

6 forks

Language: Common Lisp

last commit: 5 months ago