Skip to content

Support logical implication (==>) in annotations#115

Open
coord-e wants to merge 2 commits into
mainfrom
claude/zealous-lamport-7nSnV
Open

Support logical implication (==>) in annotations#115
coord-e wants to merge 2 commits into
mainfrom
claude/zealous-lamport-7nSnV

Represent formula implication explicitly

7c17cee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar