midas-lex 0.0.1

Launcher for Midas Lex CLI: coding agent guidance to formally verify Rust software
1
2
3
4
5
6
7
8
9
10
11

# Midas Lex release notes

This directory contains public release notes for Midas Lex versions.

Each version uses a file named `release-notes/VERSION.md`, where `VERSION`
includes the leading `v`, such as `release-notes/v0.0.1.md`.

Each file begins with that version's user-visible Midas Lex and wrapper changes,
then gives the shared installation guidance used on the GitHub Release page.
The page directs users to wrapper assets and identifies `private` assets as
internal runtime artifacts.