SAW Style Guide
weaversa opened this issue · comments
It would be nice for SAW to provide a style guide. Aside from standard style stuff like spacing, naming, etc., some things I'd like to see are:
- suggestions for how to craft a series of SAW files for use in a hierarchical proof (how to export lemmas for reuse),
- how to write documentation,
- guidance on when to use certain functions such as
unfolding
vs.goal_normalize
, - how to efficiently check test vectors,
- helper functions for simple proofs / novice users.