lambda/_CoqProject, branch v0.0.1 Fundamental objects and results in the untyped lambda calculus. http://git.rostovtsev.org/lambda/atom?h=v0.0.1 2026-03-29T19:32:40Z Simple build and README. 2026-03-29T19:32:40Z Dan Rostovtsev dan@rostovtsev.org 2026-03-29T19:32:40Z urn:sha1:fb9d9ed9995c6e411f1223d5b53f7b8b6880573e