Repository navigation

Check servers with what Calva, Conjure and vim-fireplace send - #6

Merged

bbatsov merged 3 commits into

mainfrom

more-client-profiles

Oct 8, 2026

Commits on Oct 8, 2026
- Let the forms after one that throws have their say
  bbatsov
  committed
  d1b2dd6
- Let vim-fireplace connect to proof serve
  bbatsov
  committed
  ef08e8e
- Check servers with what Calva, Conjure and vim-fireplace send
  bbatsov
  committed
  0fc08cd