ctrekker / Deductive.jl

A package for expressing and automatically proving logical statements symbolically in Julia
19Updated 10 months ago

Related projects: