search

danielbinder / LogiVis

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

Rebuilt frontend for release 1.8.0 #58

Closed csteidl closed 4 months ago