opentheory-transform - Opentheory proof trace optimizer

index : opentheory-transform

Opentheory proof trace optimizer

Jed Barber

about summary refs log tree commit diff

Branch	Commit message	Author	Age
master	Changed to Unlicense license	Jed Barber	6 years

generated by cgit (git 2.30.0) at 2026-08-25 17:50:05 +0000