issues
search
m4lvin
/
modal-tableau-interpolation
Modal Tableau with Interpolation in Haskell
https://w4eg.de/malvin/illc/tapdleau
GNU General Public License v3.0
2
stars
0
forks
source link
function to export SVG / PDF / LaTeX
#2
Open
m4lvin
opened
6 months ago