This page has moved to the open reproducibility platform cKnowledge.io/c/soft/448d195670f907f4.
soft:lib.mace - MACE library
Repo name: ck-math
How to get: ck pull repo:ck-math
Template: yes
Auto detection: yes
Environment var: CK_ENV_LIB_MACE
Host OS: any
Target OS: any
Tags: lib, mace
How to use ]  [ ReproIndex JSON meta ]  [ CK code ] [ CK meta ]