search

danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

1.6.0 Refactoring and restructuring #38

Closed danielbinder closed 8 months ago

danielbinder commented 8 months ago

We need to fix the 4 failing tests before merging