Skip to content

Support predicate_id and mapping_justification being propagatable - #20

Open
gouttegd wants to merge 5 commits into
mainfrom
make-predicate-id-propagatable
Open

gouttegd wants to merge 5 commits into
mainfrom
make-predicate-id-propagatable

Make condensation of core slots configurable.

174a508
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings and 1 notice
build
succeeded Sep 25, 2026 in 1m 19s