logic-solver-rs icon indicating copy to clipboard operation
logic-solver-rs copied to clipboard

Published 20 hours ago • verified publisher icon qnighy
→

Metadata

Logic solver (work in progress)

Proof example Refutation example

See manual (Japanese).

← Metadata

44
Stars
2
Forks
Watchers

Owner

verified publisher icon qnighy

Metadata

Back