1 2 3 4 5 |
|
 |
index : opentheory-transform | |
| Opentheory proof trace optimizer | Jed Barber |
| summaryrefslogtreecommitdiff |
path: root/.gitignore
blob: 08bbf3b8b678198435acf0fa993c5bf5a36ca3a6 (plain)