Search results

Check if p-adics can be use to simplify bitfiddling theory

Status: Open.

#51 In opencompl/lean-mlir-old;

· bollu opened on Oct 25, 2022

TopM.get always succeeds if dominance check passes

Status: Open.

#45 In opencompl/lean-mlir-old;

· bollu opened on Oct 7, 2022

Finish proof of rewriter

Status: Open.

#40 In opencompl/lean-mlir-old;

· bollu opened on Sep 20, 2022

Close linalg proofs with simple model

Status: Open.

#39 In opencompl/lean-mlir-old;

· bollu opened on Sep 20, 2022

Typed syntax

Status: Open.

#25 In opencompl/lean-mlir-old;

· lephe opened on Jul 4, 2022

Replace uses of P.lean / MLIRParser.lean with the EDSL

Status: Open.

#12 In opencompl/lean-mlir-old;

· lephe opened on May 6, 2022