nForum - Discussion Feed (Twelf)2024-03-29T07:57:32+00:00https://nforum.ncatlab.org/
Lussumo Vanilla & Feed Publisher
Mike Shulman comments on "Twelf" (69059)https://nforum.ncatlab.org/discussion/8548/?Focus=69059#Comment_690592018-05-18T21:11:23+00:002024-03-29T07:57:31+00:00Mike Shulmanhttps://nforum.ncatlab.org/account/3/
Add some notes about getting twelf to work on modern Ubuntu
diff, v3, current
Add some notes about getting twelf to work on modern Ubuntu