Search results

The site is not accessible by the link in the About section

Status: Open.

#48 In objectionary/proof;

· deemp opened on Sep 2, 2024

Formalize confluence for Yegor's rules

Status: Open.

#24 In objectionary/proof;

· deemp opened on Feb 12, 2024

Clean up and document KS22 formalization

Status: Open.

#16 In objectionary/proof;

· fizruk opened on Feb 1, 2024

· 

Formalizing KS22

Fix termination proofs

Status: Open.

#15 In objectionary/proof;

· fizruk opened on Feb 1, 2024

· 

Formalizing KS22

Add references to paper definitions/lemmas

Status: Open.

#13 In objectionary/proof;

· fizruk opened on Feb 1, 2024

· 

Formalizing KS22

Describe a generalized prover

Status: Open.

#9 In objectionary/proof;

· deemp opened on Jan 18, 2024

Document an example of lack of confluence

Status: Open.

#6 In objectionary/proof;

· deemp opened on Jan 11, 2024

Dependency Dashboard

Status: Open.

#5 In objectionary/proof;

· renovate opened on Jan 7, 2024