Release v0.3.0 · epfl-lara/LeanProbe

Repository navigation

v0.3.0
cfa5a2d
Unverified

This tag is not signed, but one or more authors requires that any tag attributed to them is signed.

Learn about vigilant mode
Choose a tag to compare

Filter

View all tags

v0.3.0

v0.3.0
cfa5a2d
Choose a tag to compare

Filter

View all tags
Unverified

This tag is not signed, but one or more authors requires that any tag attributed to them is signed.

Learn about vigilant mode

Lemmy00 tagged this 17 Jun 15:49

LeanProbe 0.3.0 — agent-usability MCP redesign (instructions, lean_* …

Assets 2