Search results

fix title visual bug

Status: Open.

#255 In sovscode/logicbox;

· felix-berg opened on Feb 4, 2026

Seeing validity of proof on gallery page

Status: Open.

#253 In sovscode/logicbox;

· felix-berg opened on Feb 4, 2026

clean up XXProofValidatorService factories

Status: Open.

#242 In sovscode/logicbox;

· felix-berg opened on Oct 28, 2025

when selecting a box, make it more clear that you are hovering the box, not the line inside

Status: Open.

#241 In sovscode/logicbox;

· felix-berg opened on Oct 9, 2025

bulk download?

Status: Open.

#239 In sovscode/logicbox;

· felix-berg opened on Oct 1, 2025

no overlap between function+predicate symbols

Status: Open.

#236 In sovscode/logicbox;

· felix-berg opened on Sep 30, 2025

bug: grainy icon on safari

Status: Open.

#195 In sovscode/logicbox;

· felix-berg opened on Aug 4, 2025

idea: history is stored with the proof

low priority

Status: Open.

#181 In sovscode/logicbox;

· felix-berg opened on Aug 1, 2025

make the commands safer

low priority

Status: Open.

#155 In sovscode/logicbox;

· felix-berg opened on Jul 30, 2025

bug: in sidebar, slight change in height of rule box when switching between select rule/show line

low priority

Status: Open.

#146 In sovscode/logicbox;

· felix-berg opened on Jul 30, 2025

don't allow fresh variables for propositional logic in the UI

Status: Open.

#145 In sovscode/logicbox;

· felix-berg opened on Jul 30, 2025

An ability to share proofs (without just sharing the file)

low priority

Status: Open.

#138 In sovscode/logicbox;

· felix-berg opened on Jul 30, 2025