Repository navigation

Publish the compatibility matrix on GitHub Pages - #18

Merged

bbatsov merged 3 commits into

mainfrom

Nov 3, 2026

Merged

Publish the compatibility matrix on GitHub Pages#18
bbatsov merged 3 commits into
mainfrom
matrix-page

Commits on Nov 3, 2026
- Show which version of a server proof checked
  bbatsov
  committed
  b9bc7e5
- Publish the compatibility matrix on GitHub Pages
  bbatsov
  committed
  0fb0f7d
- Plan 0.2.0
  bbatsov
  committed
  32688f7