lurk-lisp
by lurk-lab
Common Lisppushed about 2 years ago
Lisp implementation of Lurk.
AI summary
API implementation
Implementation of the Lurk API without proof-related mechanisms
- stars
- 68
- forks
- 6
- watching
- 19
by lurk-lab
Lisp implementation of Lurk.
AI summary
API implementation
Implementation of the Lurk API without proof-related mechanisms