Types specifying the `simplify-implication` RPC endpoint#3614

Open

geo2a wants to merge 18 commits intomasterfrom rpc-simplify-implication

+222-1

Commits on Jun 28, 2023

Add 'simplify-implication' endpoint
geo2a
committed

Commits on Jun 29, 2023

Merge branch 'master' into rpc-simplify-implication
geo2a
committed

Commits on Jul 4, 2023

Merge remote-tracking branch 'origin/master' into rpc-simplify-implication
geo2a
committed

Commits on Jul 25, 2023

Commits on Aug 9, 2023