Search results

Add <code>family_uncurry_after_</code> lemmas for the communication primitives

type: enhancement

Status: Draft (not ready).

input-output-hk/network-equivalencesnumber 29

#29 In input-output-hk/network-equivalences;

· javierdiaz72 opened on Jan 5, 2023

· 

Availability of the software in a proper state

Add <code>family_uncurry_after_</code> lemmas for the communication primitives

type: enhancement

Status: Open.

#28 In input-output-hk/network-equivalences;

· javierdiaz72 opened on Jan 5, 2023

· 

Availability of the software in a proper state

Add missing proofs of properties of communication primitives

type: enhancement

Status: Draft (not ready).

input-output-hk/network-equivalencesnumber 23

#23 In input-output-hk/network-equivalences;

· javierdiaz72 opened on Nov 6, 2022

· 

Availability of the software in a proper state

Fill the “Overview” section of <code>README.md</code>

type: enhancement

Status: Open.

#11 In input-output-hk/network-equivalences;

· jeltsch opened on Mar 4, 2022

· 

Availability of the software in a proper state

Add section “Introduction” to the document

type: enhancement

Status: Open.

#10 In input-output-hk/network-equivalences;

· jeltsch opened on Mar 4, 2022

· 

Availability of the software in a proper state

Add missing proofs of properties of communication primitives

type: enhancement

Status: Open.

#3 In input-output-hk/network-equivalences;

· jeltsch opened on Jan 26, 2022

· 

Availability of the software in a proper state