Page Index - Walnut-Theorem-Prover/Walnut GitHub Wiki
82 page(s) in this GitHub Wiki:
- Home
- Using Walnut
- Developing Walnut
- Miscellaneous
- 1. Using Walnut
- Please reload this page
-
strategymetacommand - Please reload this page
- Command: ost
- Please reload this page
- Command:alphabet
- Please reload this page
- Command:combine
- Please reload this page
- Command:concat
- Please reload this page
- Command:convert
- Please reload this page
- Command:def or eval
- Please reload this page
- Command:describe
- Please reload this page
- Command:export
- Please reload this page
- Command:fixleadzero and fixtrailzero
- Please reload this page
- Command:image
- Please reload this page
- Command:inf
- Please reload this page
- Command:intersect
- Please reload this page
- Command:join
- Please reload this page
- Command:leftquo and rightquo
- Please reload this page
- Command:load
- Please reload this page
- Command:macro
- Please reload this page
- Command:minimize
- Please reload this page
- Command:morphism
- Please reload this page
- Command:promote
- Please reload this page
- Command:reg
- Please reload this page
- Command:reverse
- Please reload this page
- Command:rsplit
- Please reload this page
- Command:split
- Please reload this page
- Command:star
- Please reload this page
- Command:test
- Please reload this page
- Command:transduce
- Please reload this page
- Command:union
- Please reload this page
- Developing Walnut
- Please reload this page
- Metacommand:export
- Please reload this page
- Normalization of expansions in more exotic numeration systems
- Please reload this page
- Notes on constant multiplication in Walnut
- Please reload this page
- OTF performance examples
- Please reload this page
- Other supported file formats
- Please reload this page
- Walnut 7 performance: Frobenius Coin Problem
- Please reload this page
- Walnut commands reference
- Please reload this page
- Walnut documentation
- Please reload this page
- Walnut file format
- Please reload this page