opentheory-transform - Opentheory proof trace optimizer

index : opentheory-transform

Opentheory proof trace optimizer

Jed Barber

summary refs log tree commit diff

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

generated by cgit (git 2.30.0) at 2024-12-22 03:27:13 +0000