Skip to content

feat: plan 13 source formatter and API documentation - #34

Merged
MicroProofs merged 19 commits into
mainfrom
plan-13
Sep 27, 2026
Merged

feat: plan 13 source formatter and API documentation#34
MicroProofs merged 19 commits into
mainfrom
plan-13

refactor(base): move boolean helpers to Logic

7714903
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar