Here are the new-look pages for LaTeX for Logicians.
The LaTeX for Logicians front page got over 35K visits last year, with some of the other individual pages getting 15K visits. So these pages are evidently still being found useful. I haven’t updated some of them for well over two years, and I am certain to have missed some more recently added LaTeX resources that will be of interest to users of these pages.
So this is your moment: as I update these pages, do please let me know what’s missing!