Add canonical logic derivation task - #43

Add canonical logic derivation task#43

sileod wants to merge 2 commits into

mainsileod/reasoning-core:mainfrom

agent/logic-derivation-tasksileod/reasoning-core:agent/logic-derivation-taskCopy head branch name to clipboard