Pull requests: link-assistant/formal-ai
Pull requests list
Plan the critical missing features as tracked sub-issues; refresh vision and roadmap
#652
opened Jul 12, 2026 by
konard
Contributor
Loading…
Fix sidebar splitter affordance and scrolling clarity
#646
opened Jul 10, 2026 by
konard
Contributor
Loading…
Add experimental formalization model fallback
#644
opened Jul 8, 2026 by
konard
Contributor
Loading…
Add polished multi-framework UI skins and color themes
#643
opened Jul 8, 2026 by
konard
Contributor
Loading…
Implement pattern inference over link-native sequences (1D/2D) — issue #531
#642
opened Jul 8, 2026 by
konard
Contributor
Loading…
ProTip!
What’s not been updated in a month: updated:<2026-06-30.