dockerfile.run – checkproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

checkproof

Equational Theorem Prover

Fedora

RUN dnf install -y E

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

API – checkproof

rbash

Restricted Bash shell, equivalent to bash --restricted. Does not permit changing the working directory, redirecting command output, or modifying environment variables, among other things. See also histexpand for history expansion. More information: <https://www.gnu.org/software/bash/manual/html_node/The-Restricted-Shell>.

nproc

Print the number of processing units (normally CPUs) available. More information: <https://www.gnu.org/software/coreutils/nproc>.

ifup

Tool used to enable network interfaces. More information: <https://manpages.debian.org/latest/ifupdown/ifup.8.html>.

q

Execute SQL-like queries on .csv and .tsv files. More information: <https://harelba.github.io/q>.

ubertooth-tx

2.4 GHz wireless development platform for Bluetooth experimentation

mmc_format

userland implementation of the UDF filesystem

text2ps

Toolkit for Conceptual Modeling (TCM)

regdbdump

wireless Central Regulatory Domain Agent

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

x