command-not-found.com – eproof

command-not-found.com

Run
API
Facebook Twitter LinkedIn Copy link

eproof

Equational Theorem Prover

Install

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

E

Equational Theorem Prover

API – eproof

import

Capture some or all of an X server screen, and save the image to a file. Part of ImageMagick. More information: <https://imagemagick.org/script/import.php>.

clang

Compiler for C, C++, and Objective-C source files. Can be used as a drop-in replacement for GCC. More information: <https://clang.llvm.org/docs/ClangCommandLineReference.html>.

stow

Symlink manager. Often used to manage dotfiles. More information: <https://www.gnu.org/software/stow>.

chromium

Open-source web browser principally developed and maintained by Google. More information: <https://www.chromium.org/developers/how-tos/run-chromium-with-flags/>.

panko-api

Event storage dispatcher for Ceilometer - Python library

arm-linux-gnueabi-size

GNU binary utilities, for arm-linux-gnueabi target

GenFw

EFI Development Kit II Tools

zstat

Project Athena's notification service - client programs

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