nLab Twelf

A logical framework.

References

Installation notes

The precompiled binaries available on the Twelf download page are for rather old machines. However, it appears that they can still be run on modern machines as long as the relevant 32-bit libraries are present and have the expected names. On Ubuntu 18.04 the following sequence of commands sufficed for at least one person to be able to run the Twelf binaries:

sudo dpkg --add-architecture i386
sudo apt install libgmp10:i386
sudo ln -s /usr/lib/i386-linux-gnu/libgmp.so.10 /usr/lib/i386-linux-gnu/libgmp.so.3
category: software

Last revised on May 18, 2018 at 21:11:23. See the history of this page for a list of all contributions to it.