List view

Add section “Introduction” to the document

type: enhancement

Status: Open.

#11 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 4, 2022

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

type: enhancement

Status: Open.

#12 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 4, 2022

Make <code>equivalence</code> work with <code>new_channel</code>

type: improvement

Status: Open.

#22 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 14, 2022

Make <code>equivalence</code> work with <code>receive</code>

type: enhancement

Status: Open.

#28 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 22, 2022

Make <code>equivalence</code> work with <code>repeated_receive</code>

type: enhancement

Status: Open.

#29 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 23, 2022

Impose proper order for constructors and derived functions

type: improvement

Status: Open.

#30 In input-output-hk/thorn-calculus;

· jeltsch opened on Mar 23, 2022

Complete the formalization of the asynchronous semantics

type: enhancement

Status: Open.

#46 In input-output-hk/thorn-calculus;

· jeltsch opened on Jul 2, 2022

Add @javierdiaz’s examples to <code>Thorn_Calculus-Examples</code>

type: enhancement

Status: Open.

#75 In input-output-hk/thorn-calculus;

· javierdiaz72 opened on Jan 5, 2023

Make proofs of existence smoother

type: improvement

Status: Open.

#87 In input-output-hk/thorn-calculus;

· jeltsch opened on Apr 21, 2023

Move <code>process family</code> type annotations to right-hand sides

type: improvement

Status: Open.

#101 In input-output-hk/thorn-calculus;

· jeltsch opened on May 17, 2023

Rename <code>Core_Bisimilarities</code> to <code>Basic_Bisimilarities</code>

type: improvement

Status: Open.

#112 In input-output-hk/thorn-calculus;

· jeltsch opened on Sep 28, 2023

Move support for derived constructs to dedicated theories

type: improvement

Status: Open.

#113 In input-output-hk/thorn-calculus;

· jeltsch opened on Sep 28, 2023

Add support for ordered transmission

type: enhancement

Status: Open.

#128 In input-output-hk/thorn-calculus;

· jeltsch opened on Oct 24, 2023

Add support for ordered transmission

type: enhancement

Status: Open (in progress).

input-output-hk/thorn-calculusnumber 129

#129 In input-output-hk/thorn-calculus;

· jeltsch opened on Jan 15, 2024