Add bind_let rule (!14) · Merge requests · veriT / Alethe · GitLab

Snippets Groups Projects

Merged Hans-Jörg requested to merge add/bind_let into master 7 months ago

Sep 03, 2024
- Add bind_let to changelog · e6edb93a
  Hans-Jörg authored 7 months ago
  
  e6edb93a
- Adapt bind_let example, cleanup · fc1beb86
  Hans-Jörg authored 7 months ago
  
  fc1beb86
- Apply 4 suggestion(s) to 1 file(s) · 42e29c42
  Hans-Jörg authored 7 months ago and Hans-Jörg committed 7 months ago
  
  Co-authored-by: Haniel Barbosa <hanielbbarbosa@gmail.com>
  42e29c42
- Add bind_let rule · e0f6ccaf
  Hans-Jörg authored 7 months ago
  
  This rule is used by Carcara's elaborator when eliminating the implicit use of symmetry of equality.
  e0f6ccaf