issues
search
danielbinder
/
LogiVis
A teaching aid for concepts and algorithms in logic
MIT License
2
stars
0
forks
source link
Fix jitpack build
#52
Closed
csteidl
closed
7 months ago