Skip to content

Model the two layers this project shipped and did not model - #52

Merged
junixlabs merged 2 commits into
mainfrom
model-its-own-new-behaviour
Sep 11, 2026
Merged

junixlabs merged 2 commits into
mainfrom
model-its-own-new-behaviour

Discharge: §6.4 still says a refutation is an error

99bc6a5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view