Issues

• Generic interfaces and object type aliases lose their type parameters in Dafny

  midspiral/LemmaScript#286 · Filter by author robertpenner opened on Nov 12, 2026

• lsc regen reports a conflict for a one-line generated change after a large proof block

  midspiral/LemmaScript#280 · Filter by author robertpenner opened on Nov 11, 2026
  3

• An inline object type on a parameter or local is emitted as TypeScript text

  midspiral/LemmaScript#276 · Filter by author robertpenner opened on Nov 11, 2026

• An optional narrowed earlier in an && chain is still an Option when passed to a function or read through a nested path

  midspiral/LemmaScript#268 · Filter by author robertpenner opened on Nov 11, 2026
  1

• Lean backend: a closure over a variable that changes is translated as a copy, so a false ensures proves

  midspiral/LemmaScript#267 · Filter by author lavaman131 opened on Nov 11, 2026
  1

• typeof unsupported in spec expressions and emitted verbatim in bodies

  midspiral/LemmaScript#266 · Filter by author mmmmaharshi opened on Nov 11, 2026

• Spread of imported const in Set constructor: unsupported expression

  midspiral/LemmaScript#265 · Filter by author mmmmaharshi opened on Nov 11, 2026

• Cross-file as const array import resolves as unknown

  midspiral/LemmaScript#264 · Filter by author mmmmaharshi opened on Nov 11, 2026

• Array binding pattern in arrow parameter not supported

  midspiral/LemmaScript#263 · Filter by author mmmmaharshi opened on Nov 11, 2026

• String index comparison emits char vs string literal: not comparable

  midspiral/LemmaScript#262 · Filter by author mmmmaharshi opened on Nov 11, 2026

• nullish reached transform crash on ?? chain over optional record fields

  midspiral/LemmaScript#258 · Filter by author mmmmaharshi opened on Nov 10, 2026

• A Python frontend for LemmaScript: proposing a small external-frontend interface

  midspiral/LemmaScript#228 · Filter by author tsakman23 opened on Oct 19, 2026
  2

• Support JavaScript semantics for numbers (behind an option)

  midspiral/LemmaScript#205 · Filter by author namin opened on Aug 23, 2026
  5

• Static analysis to flag business logic in presentation layer

  enhancement
  midspiral/LemmaScript#142 · Filter by author graciolli-f opened on Jun 28, 2026
  1