chore: don't log default proposition#54

ryukinix merged 1 commit intomasterryukinix/lisp-inference:masterfrom

dont-log-default-propositionryukinix/lisp-inference:dont-log-default-propositionCopy head branch name to clipboard