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

autorandr

Automatically change screen layout. More information: <https://github.com/phillipberndt/autorandr>.

rustup

Install, manage, and update Rust toolchains. Some subcommands, such as toolchain, target, update, etc. have their own usage documentation. More information: <https://rust-lang.github.io/rustup>.

getent

Get entries from Name Service Switch libraries. More information: <https://manned.org/getent>.

feh

Lightweight image viewing utility. More information: <https://feh.finalrewind.org>.

rustfmt

Tool for formatting Rust source code. More information: <https://github.com/rust-lang/rustfmt>.

SleighWorkerWrapper.sh

1.7.0.1-16.fc29.noarch : R functions for NetWorkSpaces and Sleigh

PdePartialTokenTypes.class

Programming environment for creating images, animations and interactions

ldns-key2ds

ldns library for DNS programming

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