Skip to content
Snippets Groups Projects
  1. Mar 14, 2025
  2. Mar 13, 2025
  3. Aug 07, 2024
  4. May 06, 2024
  5. Apr 04, 2024
  6. Apr 01, 2024
  7. Mar 19, 2024
  8. Mar 08, 2024
  9. Mar 05, 2024
  10. Feb 22, 2024
  11. Jan 30, 2024
  12. Dec 21, 2023
  13. May 13, 2023
  14. Feb 17, 2023
  15. Feb 10, 2023
  16. Jul 11, 2022
  17. Jul 09, 2022
  18. Jul 02, 2022
    • Hans-Jörg's avatar
      Add formal semantic of Alethe · 70003228
      Hans-Jörg authored
      - Define what a valid Alethe proof is formally
      - Show that a valid Alethe proof is sound
      - TODO: nicer handling of let
      70003228
  19. Jun 25, 2022
  20. Jun 24, 2022
Loading