opentheory-transform - Opentheory proof trace optimizer

index : opentheory-transform

Opentheory proof trace optimizer

Jed Barber

summary refs log tree commit diff

path: root/Stack.hs

Age	Commit message (Expand)	Author
2012-05-29	Moved Stack datatype to separate file	Jed Barber

generated by cgit (git 2.30.0) at 2024-12-22 19:39:25 +0000