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

generated by cgit (git 2.30.0) at 2024-05-17 10:17:04 +0000