Remove parent expression from argument expression when it gets overwritten

ctrekker / Deductive.jl

A package for expressing and automatically proving logical statements symbolically in Julia

MIT License

19 stars 2 forks source link

Closed ctrekker closed 2 years ago