or request text session
Similar projects for other languages: Coq • Lean 4 (with their Natural Number Game) • Agda

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:

Linux GNU Perl NixOS TigerVNC nginx NoVNC systemd

About Minlogpad

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 a760d5f

Server concerns

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.

A NixOS package for self-hosting this server is available here (AGPL-licensed). You can also access this server using a native VNC viewer.

Installing Minlog on your local computer

For larger experiments, Minlog is more fun if you install it locally on your computer. Instructions are available on the official page.

Contact

Valentin Herrmann
minlogpad@valentin-herrmann.de

Using a native VNC viewer

Simply direct your favorite VNC viewer to the address wss://minlogpad.valentin-herrmann.de/__vnc/SessionName.

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:

  1. Run websocat --binary tcp-l:127.0.0.1:5901 wss://minlogpad.valentin-herrmann.de/__vnc/SessionName.
  2. Direct your VNC viewer to localhost:1.