Repository navigation

tini-2026-10-12 - #8

Merged

hyperpolymath merged 5 commits into

mainfrom

tini-2026-10-12

Oct 12, 2026

Merged

tini-2026-10-12#8
hyperpolymath merged 5 commits into
mainfrom
tini-2026-10-12

Commits on Oct 12, 2026
- secret-types: termination-insensitive noninterference for the two-point lattice
  Jonathan D.A. Jewell
  committed
  4006f92
- Update src/SecretTypes/Prelude.agda
  
  hyperpolymath
  and
  coderabbitai[bot]
  authored
  4388c90
- docs(agda): document semantics and proof helpers
  coderabbitai[bot]
  committed
  1295ce2
- docs(repo): Update proof status badge and allow proof report and Agda library at root
  coderabbitai[bot]
  committed
  9d6fae6
- chore(repo): set owners and update repository map
  coderabbitai[bot]
  committed
  27025f4