Skip to content

Show the message notes and the counterexample in the hover - #190

Merged
CatarinaGamboa merged 1 commit into
mainfrom
feat/188-hover-notes
Nov 11, 2026
Merged

CatarinaGamboa merged 1 commit into
mainfrom
feat/188-hover-notes

Commits

  1. Commits on Nov 11, 2026