opencompl/ssa Issues
Fixup simp_alive_peephole_tactic
Closed 1Add CI for theorems
Closed 1Formalize andorxor:2515
UpdatedMake artefact for AE
UpdatedFormalize select{746,747}
UpdatedImplement MLIR interpreter
Updated 1Replicate simple proofs on tensors
Updated 7mathlib 4994 upstreaming
Updated