Pantograph

Author	SHA1	Message	Date
Leni Aniva	fbe6e8fcb3	Merge branch 'dev' into tactic/congruence	2024-06-23 13:35:07 -07:00
Leni Aniva	361e2e8926	Merge pull request 'fix: aux lemmas in env inspect' (#82 ) from env/inspect into dev Reviewed-on: #82	2024-06-23 13:33:35 -07:00

Compare commits