command-not-found.com – eprover

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eprover

Equational Theorem Prover

Install

All systems: curl cmd.cat/eprover.sh
Fedora: dnf install E
Dockerfile: dockerfile.run/eprover

E

Equational Theorem Prover

API – eprover

Test internet bandwidth using <https://speedtest.net>. See also speedtest for the official CLI. More information: <https://github.com/sivel/speedtest-cli>.

Nginx web server. More information: <https://nginx.org/en/>.

Move or rename files and directories. More information: <https://www.gnu.org/software/coreutils/mv>.

Get and set user limits. More information: <https://manned.org/ulimit>.

WebDAV Framework for PHP

xbindkeys-config

an easy to use gtk program for configuring Xbindkeys

support files for all Exim MTA (v4) packages

x86 virtualization solution - debugging symbols

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