List view

• Replicate functionality of Logicky

  Port all features and supported formal logics of the original Logicky (of the backend, no web-frontend needed).

  Overdue by 3 year(s)

  •

  Due by May 31, 2022

  •0/1 issues closed
  0% complete1 open0 closed