search

danielbinder / LogiVis

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

Modified index for executable permissions on linux #51

Closed csteidl closed 7 months ago