Skip to content
This repository was archived by the owner on Aug 29, 2024. It is now read-only.

feat: normalize AIGs up to commutativity #109

Merged
merged 4 commits into from
Jun 25, 2024

perf: add another dsimp into If.lean

f4033ce
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Merged

feat: normalize AIGs up to commutativity #109

perf: add another dsimp into If.lean
f4033ce
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings

The logs for this run have expired and are no longer available.