lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard
verified publisher icon Deducteam

Fix HRS and XTC exports

Open fblanqui opened this issue 3 years ago • 0 comments

TODO

  • [ ] remove --confluence/--termination options ?
  • [ ] check XTC output
  • [ ] add tests for HRS and XTC outputs

fblanqui avatar Jun 01 '22 15:06 fblanqui