Skip to content

Chat-first layout with formal-ai UX, all engines, and Links Notation storage (issue #15) - #16

Merged
konard merged 6 commits into
mainfrom
issue-15-b719f182c4e9
Jun 11, 2026
Merged

Chat-first layout with formal-ai UX, all engines, and Links Notation storage (issue #15)#16
konard merged 6 commits into
mainfrom
issue-15-b719f182c4e9

chore: remove .gitkeep placeholder (task complete)

7b42339
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
Browser E2E Tests
succeeded Jun 11, 2026 in 4m 24s