eldesh

A Formal Proof Management System.

SML# environment on GNU/Linux x86_64 and i386.

This image provides SML/NJ execution environment on x86_64 and x86 Linux.

MLton: whole optimizing StandardML compiler on GNU/Linux x86_64.

Matita interactive theorem prover

A docker image provides the Rust environment on ubuntu linux.

Ur/Web: A strongly typed web application programming language

Provides complete VeriFast environment includes commandline tooI(with Z3 support) and IDE(vfide).

This image provides MoscowML execution environment on x86_64 Linux.