anthem 0.2.1

New Issue

2019-01-19

20% Completed

4 Open 1 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

aesthetic

bug

discussion

documentation

duplicate

enhancement

good first issue

help wanted

invalid

question

suggestion

task

wontfix

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

patrick (Patrick Lühne)

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

Support function symbols with τ* and variable mapping scheme bugenhancement

#30

opened 2019-01-16 16:24:40 +01:00 by patrick

1

Perform safe simplifications with logic of here-and-there aestheticenhancement

#28

opened 2019-01-16 02:39:27 +01:00 by patrick

Add option to show verbose output aestheticenhancement

#24

opened 2019-01-13 16:58:09 +01:00 by patrick

1

Translate logic of here-and-there to classical logic enhancement

#23

opened 2019-01-13 16:56:22 +01:00 by patrick