Post #1815110

@hallasurvivor Very nice! Thanks for the ack. If I did anything, it was to try to encourage you to complete this project when it was getting hard. 🙂 For the moment I've just had a quick look, because I was preparing my talk the whole day, from 8am to 6:30pm, and now I can't even do modus ponens. But it will be a nice read for my trip to Tallinn on Sunday. I have already left a tab open in my browser in preparation for that. Much better than a movie!