Skip to content

Add env var to disable typing of formulas during entailment checking#60

Merged
danbaterisna merged 6 commits into
masterfrom
disable-typing
Nov 10, 2025
Merged

Add env var to disable typing of formulas during entailment checking#60
danbaterisna merged 6 commits into
masterfrom
disable-typing

add docs

117ffb7
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar