Properly recurse deductions after trait CRUD - Githubissues

pi-base / viewer

Web UI for the π-Base

https://topology.pi-base.org

MIT License

9 stars 3 forks source link

Properly recurse deductions after trait CRUD #34

Closed StevenClontz closed 4 years ago