Introduction | Lurk Blog

Spec

Lurk Specification

Reduction Notes

Soundness Notes

Spec

Lurk Specification

Reduction Notes

Soundness Notes

2023-12-13

Announcing the first Arecibo release

« Previous
- 1
- 2
Next »

All Lurk code, including that featured on this website and blog, is dual-licensed under MIT and Apache 2.0 licenses. Other website content is subject to Creative Commons licensing (CC-BY 4.0), according to our terms of use.