Closed Leont closed 1 year ago
This aims to fix https://github.com/Leont/app-prove6/issues/11
I'm not entirely sure about the ideal semantics though
This aims to fix https://github.com/Leont/app-prove6/issues/11
I'm not entirely sure about the ideal semantics though