Skip to content
Snippets Groups Projects
Sort by
  • Due soon
  • Due later
  • Start soon
  • Start later
  • Name, ascending
  • Name, descending
  • Add support for different languages
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Add safety versus assessment trick tactic combination from tactic 1 & 2
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Add new Warning: definied variable is not used in equation
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    2/4 complete
    50%
  • Transformationstep: occurance number of subterm
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Proofs of equation systems
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Nested struktural Induction
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Make assessment of direct proofs more fair - auto prover & proof path
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Direct proof as a proof over equations
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Functions of higher order
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%
  • Subsorts
    Edward Sabinus / Bewerter Struktureller Induktion
    Open
    0/0 complete
    0%