KalkulierbaR/kalkulierbar

Issues

• Dependency Dashboard

  #22 opened 3 years ago by renovate
  0

• Cannot load calculi example

  #108 opened a year ago by JuliusHenke
  0

• FO Sequent: Error when using allLeft or exRight

  #104 opened a year ago by Drodt
  8

• Misc: Frontend

  #17 opened 3 years ago by rec0de
  0

• unifyTerms returns incorrect MGU

  #47 opened 3 years ago by rec0de
  0

• Proposal: Split Repository

  #5 opened 3 years ago by DerDrodt
  11

• Tree layout overlap in sequent calculus

  #15 opened 3 years ago by rec0de
  0

• FO Resolution: Incorrect Suffixes

  #50 opened 3 years ago by DerDrodt
  2

• Improve move and calculus naming

  #12 opened 3 years ago by JuliusHenke
  0

• Add Usage Statistics

  #8 opened 3 years ago by JuliusHenke
  4

• Misc: Scoreboards

  #16 opened 3 years ago by rec0de
  0

• Clicking nodes sometimes triggers drag movement

  #13 opened 3 years ago by JuliusHenke
  2

• Starting a Propositional DPLL calculus breaks the app

  #2 opened 4 years ago by JuliusHenke
  11