ekb_ginsert

Equational Theorem Prover

Fedora
RUN dnf install -y E
click the source code to copy install ekb_ginsert on any operating system with command-not-found.com