mathscape-cli

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.14
• mathscape-compress ^0.1.14
• mathscape-config ^0.1.14
• mathscape-core ^0.1.14
• mathscape-evolve ^0.1.14
• mathscape-proof ^0.1.14
• mathscape-reward ^0.1.14

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.13
• mathscape-compress ^0.1.13
• mathscape-config ^0.1.13
• mathscape-core ^0.1.13
• mathscape-evolve ^0.1.13
• mathscape-proof ^0.1.13
• mathscape-reward ^0.1.13

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.12
• mathscape-compress ^0.1.12
• mathscape-config ^0.1.12
• mathscape-core ^0.1.12
• mathscape-evolve ^0.1.12
• mathscape-proof ^0.1.12
• mathscape-reward ^0.1.12

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.11
• mathscape-compress ^0.1.11
• mathscape-config ^0.1.11
• mathscape-core ^0.1.11
• mathscape-evolve ^0.1.11
• mathscape-proof ^0.1.11
• mathscape-reward ^0.1.11

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.10
• mathscape-compress ^0.1.10
• mathscape-config ^0.1.10
• mathscape-core ^0.1.10
• mathscape-evolve ^0.1.10
• mathscape-proof ^0.1.10
• mathscape-reward ^0.1.10

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.9
• mathscape-compress ^0.1.9
• mathscape-config ^0.1.9
• mathscape-core ^0.1.9
• mathscape-evolve ^0.1.9
• mathscape-proof ^0.1.9
• mathscape-reward ^0.1.9

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.8
• mathscape-compress ^0.1.8
• mathscape-config ^0.1.8
• mathscape-core ^0.1.8
• mathscape-evolve ^0.1.8
• mathscape-proof ^0.1.8
• mathscape-reward ^0.1.8

+ 5 more

Dependencies (13)

• clap ^4
• mathscape-axiom-bridge ^0.1.7
• mathscape-compress ^0.1.7
• mathscape-config ^0.1.7
• mathscape-core ^0.1.7
• mathscape-evolve ^0.1.7
• mathscape-proof ^0.1.7
• mathscape-reward ^0.1.7

+ 5 more