Skip to content

A fact quotes the words that name each side - #583

Merged
WaylandYang merged 8 commits into
devfrom
feat/evidence-spans
Sep 10, 2026
Merged

A fact quotes the words that name each side#583
WaylandYang merged 8 commits into
devfrom
feat/evidence-spans

The written name is checked against its reference too

fbbedba
Select commit
Loading
Failed to load commit list.
DCO / DCO succeeded Sep 10, 2026 in 0s

DCO

All commits are signed off!

View more details on DCO