Skip to content

Commit

Permalink
drop ch2_3 from build
Browse files Browse the repository at this point in the history
  • Loading branch information
@luisacicolini
luisacicolini committed Nov 14, 2024
1 parent c04188b commit a4c4350
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion SSA/Projects/InstCombine/Alive.lean
View file
Original file line number Diff line number Diff line change
Expand Up @@ -33,4 +33,3 @@ import SSA.Projects.InstCombine.PaperExamples
-- Proofs from Hackers Delight Book
import SSA.Projects.InstCombine.HackersDelight.ch2_1DeMorgan
import SSA.Projects.InstCombine.HackersDelight.ch2_2AdditionAndLogicalOps
import SSA.Projects.InstCombine.HackersDelight.ch2_3LogicalArithmeticIneq

0 comments on commit a4c4350

Please sign in to comment.