From 5bc5e17dc6981ef19ad213984929aed931d98651 Mon Sep 17 00:00:00 2001 From: Dan Rostovtsev Date: Thu, 2 Apr 2026 12:15:09 -0400 Subject: Lambda v0.0.0 --- AUTHORS | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 AUTHORS (limited to 'AUTHORS') diff --git a/AUTHORS b/AUTHORS new file mode 100644 index 0000000..8247b96 --- /dev/null +++ b/AUTHORS @@ -0,0 +1,17 @@ +Lambda is a Rocq library used for writing proofs about the untyped +lambda calculus. It grew from an exercise in working through Forster +and Smolka's 2017 paper "Weak Call-by-Value Lambda Calculus as a Model +of Computation in Coq." + +The proofs in the original paper can be found at + +https://www.ps.uni-saarland.de/extras/L-computability/ + +whose authors were + +Yannick Forster +Gert Smolka + +The additional proofs or rewrites contained here were made by + +Daniel Rostovtsev -- cgit v1.3