lexlean 0.1.0

lexlean 0.1.0

lexlean 0.1.0
language 1.0
compiler-semantics fa171c7a2d78cf17e6cb49bbec5c1eed8bee20033472b1953211104068589ba7
lean-toolchain leanprover/lean4:v4.32.1

Container image (GitHub Packages):

docker pull ghcr.io/afflom/lexlean:0.1.0@sha256:c31845422ede0133f3e5af3a83738fb41653d0fe7e407fbb515cdc30af21315b

The image carries the compiler and leanprover/lean4:v4.32.1, so lexlean verify runs in it.

lexlean-0.1.0-binaries.tar.gz holds one binary per supported host
(SPEC.md §8.3) under bin/<target>/.

checksums.txt covers every attached file and each binary inside the
tarball, so verify after extracting it:

tar -xzf lexlean-0.1.0-binaries.tar.gz
sha256sum -c checksums.txt

The digests:

0e177629b2eae8d594226b7e048716fb268f1a3ec52d5af77e846d87e4588b33  vv-evidence.txt
27e743c8507273e093ef6f2bf6973957d821c5da9dbfaa15ed98be6b0b8acf47  CONFORMANCE.md
2efe9ab19bc8f2534ede7d747832f0abaee257b30640eb1523936dd35c0b3d02  bin/x86_64-unknown-linux-gnu/lexlean
43151019409f58a99f5d663a7f0727dbce3dbadfb5b7c9868643ba59eda8d4ac  bin/x86_64-pc-windows-msvc/lexlean.exe
4996405449432c3d260a9586aa6634a40f3a9225a72e0609f304cad026b6a83f  bin/aarch64-unknown-linux-gnu/lexlean
5d63adb2b8b80e1c28c80fa20d34716da8e24adb1227cded15a36916eef9dea1  version-output.txt
62c7a1e35f56406896d7aa7ca52d0cc0d272ac022b5d2796e7d6905db8a3636a  LICENSE-APACHE
66b782ab92cbe0de29560a19d43dee18790a4f01979990c8cc155bf09dac5efa  ERRORS.md
7851a2e009798054eed08608fb76f999998d089756d63bb9e20639948d3a6781  release-check.txt
7c2c83189b8d9b8e28a0785dc1a10f215805135c1b4b18e0e92e39d29c7d48d7  bin/aarch64-apple-darwin/lexlean
8b09e511ba9815dbf26db743a447de9922c79a0b3a1f3da359bff73cba438fac  bin/x86_64-apple-darwin/lexlean
93300a064957a0580b809ec6777d5cee3c4968156bb6b1a4a56c37713b8265a2  compiler-semantics-id.txt
b65b82603a4875244eaecc241d1666217ae7d9f8bf4ad3e7b1ac88d8888126ee  LICENSE-MIT
ba2eb51927eda72803a42438d8644d4926a81c1d779080584f83a7c263f5551a  SPEC.md
c5da855e087bc22f7bfe0ecfd90343b5d5120e69e600d70feea75fcc044d94e9  lexlean.crate
cba09c9358c01696a7f9f178f7a5d56450029d09a972238131d47cbd47bfdf6e  lexlean-0.1.0-binaries.tar.gz
ef352f827b232df44a78c2ffccd5a7f584d30c6add64eb731be31c2528df9976  sbom.json

release-check.txt records what SPEC.md §30 refuses at this version.
§2.3 fixes 1.0.0 as the first release satisfying the complete
specification, so this tag does not claim that criterion; the report names
each part of it that does not yet hold. See CHANGELOG.md.