The tactic language is a special-purpose programming language for constructing proofs, indicated using the keyword by.
apply_to_last_goal
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.GeneralCustomTactics
hoare_simp_specification
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.SpecificationTactics
simp_jump_spec
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.SpecificationTactics
simp_jump_spec_false
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.SpecificationTactics
simp_jump_spec_true
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.SpecificationTactics
simp_set_eq
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.GeneralCustomTactics
zero_lt_ne_zero
This tactic has no documentation.
- Tags:
- Defined in module:
- MRiscX.Tactics.GeneralCustomTactics