Skip to content

GitLab

Why GitLab
Pricing
Contact Sales
Explore

Sign in
Get free trial

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