3 Commits

Author	SHA1	Message	Date
gluaxspeed	a9c81d6596	fix canoncialization of function inputs	2021-09-08 04:18:11 -07:00
gluaxspeed	a5b6780c3b	big self canonicalization fixes	2021-08-25 08:55:26 -07:00
gluaxspeed	470a4075f8	refactor theorem to ast for out file hashes, migrate old tests	2021-07-16 03:20:36 -07:00