Skip to content

incremental support for in-browser reasoning - #4

Merged
jonathanvajda merged 1 commit into
find-inconsistency-or-unsatisfiable-axiomfrom
master
May 28, 2026
Merged

incremental support for in-browser reasoning#4
jonathanvajda merged 1 commit into
find-inconsistency-or-unsatisfiable-axiomfrom
master

export data and update query

26c2a7c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Run Jest tests
succeeded May 26, 2026 in 13s