Skip to the content.
Installing Logipedia publication toolchain
Proof interoperability encyclopedia Logipedia documentation.
View on GitHub
Installing Logipedia publication toolchain
Dependencies
python>=3.7
pip
Guile scheme
>=2.2
guile-json>=3.2
Steps
make install-pp
cd
logigen pip
install
.