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 authors

Assignee

All assignees No assignee

patrick

Sort

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

Support function symbols with τ* and variable mapping scheme

bug

enhancement

1

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

Perform safe simplifications with logic of here-and-there

aesthetic

enhancement

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

Add option to show verbose output

aesthetic

enhancement

1

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

Translate logic of here-and-there to classical logic

enhancement

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