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

chore: simplify proofs #3

Merged
merged 13 commits into from
Feb 20, 2024

chore: cleanup proofs in LeanSAT.Util.Misc

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

chore: simplify proofs #3

chore: cleanup proofs in LeanSAT.Util.Misc
3a6a289
Select commit
Loading
Failed to load commit list.

Annotations

2 warnings

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