dockerfile.run – eproof_ram

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eproof_ram

Equational Theorem Prover

Fedora

RUN dnf install -y E

click the source code to copy install eproof_ram on any operating system with command-not-found.com

API – eproof_ram

rsync

Transfer files either to or from a remote host (but not between two remote hosts), by default using SSH. To specify a remote path, use user@host:path/to/file_or_directory. More information: <https://download.samba.org/pub/rsync/rsync.1>.

sinfo

View information about Slurm nodes and partitions. See also squeue and sbatch, which are also part of the Slurm workload manager. More information: <https://slurm.schedmd.com/sinfo.html>.

write

Write a message on the terminal of a specified logged in user (ctrl-C to stop writing messages). Use the who command to find out all terminal_ids of all active users active on the system. See also mesg. More information: <https://manned.org/write>.

MkOneOf

utilities for using XML documents with Haskell

oogl2vrml

interactive geometry viewing program

trimest

The European Molecular Biology Open Software Suite

slog2updater

Development files for mpich2

© 2019-2024 Łukasz Lach | czux.dev | About

x