ndslusarz / formal_LDL

MIT License
3 stars 1 forks source link

Rename `translation` to `fuzzy_translation` #26

Open hoheinzollern opened 7 months ago

hoheinzollern commented 7 months ago

This should be done after reviews, and before submitting the final version if the paper is accepted