Search results

Streamline proofs

Status: Open.

#22 In sbp/idris-bi;

· clayrat opened on Oct 5, 2017

Use Preorder Reasoning for the denser proofs?

Status: Open.

#21 In sbp/idris-bi;

· clayrat opened on Oct 5, 2017

Ring solver?

Status: Open.

#20 In sbp/idris-bi;

· clayrat opened on Oct 4, 2017

Trivial proofs?

Status: Open.

#18 In sbp/idris-bi;

· clayrat opened on Sep 6, 2017

Duplication of binDouble/binDoubleSucc

Status: Open.

#16 In sbp/idris-bi;

· clayrat opened on Sep 2, 2017

Direct compilation for BIP / view for Data.Bits?

Status: Open.

#13 In sbp/idris-bi;

· clayrat opened on Aug 28, 2017

Proof names

Status: Open.

#11 In sbp/idris-bi;

· clayrat opened on Aug 21, 2017

Port QArith

Status: Open.

#9 In sbp/idris-bi;

· sbp opened on Aug 18, 2017

Move the types into their respective function definition files

Status: Open.

#8 In sbp/idris-bi;

· sbp opened on Aug 18, 2017