Skip to content
Run tests

Fix Foreign Lemma Prefixes (fix #56) (#57) #113

Sign in to view logs

Fix Foreign Lemma Prefixes (fix #56) (#57)

Fix Foreign Lemma Prefixes (fix #56) (#57) #113

Annotations

1 warning

build (3.8)

build (3.8)
succeeded Dec 20, 2024 in 31s