FDL Editor

Building Interactive Digital Libraries of Formal Algorithmic Knowledge

Returns a servername and one-time password for a VNC connection to the FDL editor. If you do not have VNC, you can download it free for Windows, Linux, or Solaris, here.

VNC Access

Click to retrieve server and password, including info about using the editor.

Note: This is a work in progress. Realtime queries to the FDL may take 1-2 minutes. There is also a possibility of a server crash in which case your request could hang or you may see an error message.