Skip to content
Snippets Groups Projects
  1. Sep 03, 2024
    • Hans-Jörg's avatar
      Add bind_let rule · e0f6ccaf
      Hans-Jörg authored
      This rule is used by Carcara's elaborator when eliminating the
      implicit use of symmetry of equality.
      e0f6ccaf
  2. Aug 15, 2024
  3. Aug 08, 2024
  4. Aug 07, 2024
  5. Jul 17, 2024
  6. Jul 15, 2024
  7. Jun 11, 2024
  8. Jun 04, 2024
  9. Jun 03, 2024
  10. May 28, 2024
  11. May 24, 2024
  12. May 08, 2024
  13. May 06, 2024
  14. Apr 04, 2024
  15. Apr 01, 2024
  16. Mar 19, 2024
Loading