D

DeMorgan.jl

Project information

Classical logic truth table magma algebra

algebra mathematics computer-alg... proof logic Proof Assistant formal proof propositiona... reasoning

3 Commits
1 Branch
1 Tag
1 Release

README
MIT License

Created on

November 29, 2023

Loading