litex-lang 0.9.85-beta

A simple formal proof language and verifier, learnable in 2 hours
Documentation
1
2
3
4
5
FROM debian:bookworm-slim
ARG TARGETARCH
COPY litex-${TARGETARCH} /usr/local/bin/litex
RUN chmod +x /usr/local/bin/litex
ENTRYPOINT ["litex"]