opentheory-transform - Opentheory proof trace optimizer

index : opentheory-transform

Opentheory proof trace optimizer

Jed Barber

summary refs log tree commit diff

path: root/src/Library/Command.hs

Age	Commit message (Collapse)	Author
2014-04-08	Reorganising source code	Jed Barber

generated by cgit (git 2.30.0) at 2024-11-15 16:50:37 +0000