Recent Comments
- Michal on Logic 2 notes in HTML
- Thanks for the link to the repo. It seems that the basic issue is caused by the xyling package,...
- wo on Logic 2 notes in HTML
- @Michal: Oh, hi, many thanks for this great tool! What didn't work? These come to mind:...
- Michal on Logic 2 notes in HTML
- Hi, TeX4ht author here. What things didn't work correctly? I can try to fix them in the sources.
- wo on Logic 2 notes in HTML
- Ah, thanks! I've fixed the links. I might do it your way for my old papers. It would be...
- wo on Reasoning about doom
- @3vn: Thanks. Yes, that's the main point. And also, it's not even obvious that we get...
- 3vn on Reasoning about doom
- Great post. Would one way of putting your point be that common ways of formulating the Doomsday...
- Brian Weatherson on Logic 2 notes in HTML
- Good work getting it done! I’ve been mostly trying to convert old tex things to some variety of...
- Stephan on A fork time puzzle
- Ah I think I see that a version of the backtracking problem remains. And you're right about it not helping with the first problem. Thanks!