PAndQ.jl

A computer algebra system for propositional logic

MIT License

Stars
16

Bot releases are visible (Hide)

PAndQ.jl - Latest Release

Published by jakobjpeters 7 months ago

PAndQ.jl - v0.3.0

Published by github-actions[bot] 7 months ago

PAndQ v0.3.0

Diff since v0.2.0

PAndQ.jl - v0.2.0+1

Published by jakobjpeters about 1 year ago

PAndQ.jl - v0.2.0

Published by github-actions[bot] about 1 year ago

PAndQ v0.2.0

Diff since v0.1.0

PAndQ.jl - v0.1.0

Published by jakobjpeters about 1 year ago