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	4 years

generated by cgit (git 2.30.0) at 2025-03-09 14:59:00 +0000