4 ms·Happy to collaborate on it if you like, shouldn't be too hardby formalsystem 8y agoHappy to collaborate on it if you like, shouldn't be too hard