Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Changed to Unlicense license | Jed Barber | 3 years | |
![]() |
index : opentheory-transform | |
Opentheory proof trace optimizer | Jed Barber |
summaryrefslogtreecommitdiff |
Branch | Commit message | Author | Age | |
---|---|---|---|---|
master | Changed to Unlicense license | Jed Barber | 3 years | |