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	20848	log plain
-rw-r--r--	Syntactic.hs	1905	log plain

generated by cgit (git 2.30.0) at 2024-12-22 21:02:45 +0000