Shiny new L4L

Ok, that took less time than I thought it would. So there’s now an exciting new improved LaTeX for Logicians to gladden geeky hearts. There are some rough edges which will get smoothed, but it is functional. Now tell me what I’ve left out, and how to improve the pages!

This entry was posted in Geek stuff. Bookmark the permalink.

2 Responses to Shiny new L4L

  1. Laurent Méhats says:

    A few more packages for typesetting proof trees are available, including:
    – drv (;
    – virginialake (
    Some others are listed at the end of the documention for drv.

Leave a Reply

Your email address will not be published. Required fields are marked *