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
Definitional set theory
#4
Closed
ctrekker
closed
2 years ago