Issues

• Improvements (esp for LLMs)

  epfl-lara/lisa#251 · Filter by author SimonGuilloud opened on Jan 24, 2026

• Documentation for ADT

  epfl-lara/lisa#229 · Filter by author SimonGuilloud opened on Oct 4, 2024

• Split e-graph & equality saturation into its own module

  epfl-lara/lisa#226 · Filter by author tribbloid opened on Sep 16, 2024
  2

• Null pointer exception raised when variable has not yet been declared

  epfl-lara/lisa#218 · Filter by author agilot opened on Mar 20, 2024
  1

• Substitution tactic crashes when assumptions are not complete

  epfl-lara/lisa#215 · Filter by author SimonGuilloud opened on Mar 4, 2024

• Substitution.ApplyRules error

  epfl-lara/lisa#214 · Filter by author SimonGuilloud opened on Mar 4, 2024

• Assumption handling (or lack thereof) in presence of imports

  bugenhancement
  epfl-lara/lisa#161 · Filter by author sankalpgambhir opened on Apr 27, 2023
  

• Restate type alias raises errors

  bug
  epfl-lara/lisa#119 · Filter by author sankalpgambhir opened on Jan 10, 2023
  2

  

• Failed requires give unhelpful (and uncaught) errors

  documentation
  epfl-lara/lisa#110 · Filter by author sankalpgambhir opened on Dec 8, 2022
  2

  

• Print errors from parsing in a meaningful way

  epfl-lara/lisa#86 · Filter by author SimonGuilloud opened on Oct 27, 2022
  4

• Loading the project fails in Intellij Idea

  epfl-lara/lisa#69 · Filter by author cache-nez opened on Oct 11, 2022

• More testing cases for the Kernel

  good first issue
  epfl-lara/lisa#39 · Filter by author SimonGuilloud opened on Aug 23, 2022

• Isabelle tactic for Lisa proofs

  enhancement
  epfl-lara/lisa#23 · Filter by author vkuncak opened on Jun 14, 2022
  1