issues
search
ctrekker
/
Deductive.jl
A package for expressing and automatically proving logical statements symbolically in Julia
MIT License
19
stars
2
forks
source link
Element proofs (prove x ∈ S for some x)
#22
Open
ctrekker
opened
2 years ago