Search results

Proposal: lawful lenses for verified state access

Status: Open.

#658 In leanprover/cslib;

· fraware opened on Jun 17, 2026

this should be

Status: Open.

#655 In leanprover/cslib;

· github-actions opened on Jun 16, 2026

this should be

Status: Open.

#654 In leanprover/cslib;

· github-actions opened on Jun 16, 2026

this should

Status: Open.

#653 In leanprover/cslib;

· github-actions opened on Jun 16, 2026

this should

Status: Open.

#652 In leanprover/cslib;

· github-actions opened on Jun 16, 2026

Logics and WP calculi: First-order logic, Second-order logic, Henkin semantics, Separation Logic

Status: Open.

#646 In leanprover/cslib;

· praalhans opened on Jun 14, 2026

develop an attribute to dualize theorems to the converse of a relation

Status: Open.

#644 In leanprover/cslib;

· github-actions opened on Jun 13, 2026

TimeM's ✓ tick breaks when HasWellFormed is imported

Status: Open.

#638 In leanprover/cslib;

· FrankieNC opened on Jun 12, 2026

Global substitution notation t[x := t'] breaks instance-binder fields in downstream projects

Status: Open.

#631 In leanprover/cslib;

· FrankieNC opened on Jun 11, 2026

feat(Computability): Plan for complexity theory

Status: Open.

#611 In leanprover/cslib;

· crei opened on Jun 1, 2026

Loogle for Cslib

Status: Open.

#594 In leanprover/cslib;

· SamuelSchlesinger opened on May 23, 2026

feat(Computability): Framework for encoding arbitrary types on Turing machines

Status: Open.

#590 In leanprover/cslib;

· Sfgangloff opened on May 21, 2026