Minlog is an interactive proof system based on first order natural deduction calculus. You can also use a native VNC viewer instead of this in-browser viewer. Learn more about this project. This online version of Minlog is served to you by Valentin Herrmann and based of the excellent Agdapad , which was made by Ingo Blechschmidt for an Agda course at the University of Padova, building on awesome free technology:
This page connects you to a remote server on which an Emacs instance is spawned for you. The purpose of Minlogpad is to lower the bar for using Minlog, as local installation becomes superfluous, and to allow live collaboration on small Minlog projects. Minlogpad is forked from Agdapad, which was built to facilitate an Agda course at the University of Padova.
Versions installed on the server: Minlog version 35d1f62
In case of connection problems, try reloading the page. You will be able to continue where you left off.
The server is not very well-equipped, hence please be mindful of your resource usage. You do not need to quit Emacs when leaving this page, but please do terminate Minlog or quit Emacs in case Minlog is taking an extraordinate amount of time.
This service is provided free of charge and comes without any guarantees. It might vanish at any point. Your Minlog programs are stored on the server, unencrypted, but no personal identifying data is recorded. Please notify me with any security concerns you discover.
For larger experiments, Minlog is more fun if you install it locally on your computer. Instructions are available on the official page.
Simply direct your favorite VNC viewer to the address
However, most VNC clients do not support the WebSocket protocol, the noVNC client being a notable exception. Hence you need to setup a TCP proxy; on Linux, websocat (packaged for most Linux distributions) can do this for you:
websocat --binary tcp-l:127.0.0.1:5901 wss://minlogpad.valentin-herrmann.de/__vnc/SessionName.