opentheory-transform - Opentheory proof trace optimizer

index : opentheory-transform

Opentheory proof trace optimizer

Jed Barber

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	README	0	log plain
-rw-r--r--	Semantic.hs	21022	log plain
-rw-r--r--	Syntactic.hs	1905	log plain

generated by cgit (git 2.30.0) at 2024-09-28 06:13:19 +0000