Search results

Incompatible Lean Version

Status: Open.

#28 In verse-lab/loom;

· Oscario0 opened on Dec 19, 2025

Missing array lemmas for grind

Status: Open.

#27 In verse-lab/loom;

· tdardinier opened on Nov 26, 2025

Split Velvet into a separate folder

EasyThis issue should not take more than a couple of hours of workThis issue should not take more than a couple of hours of work

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#26 In verse-lab/loom;

· volodeyka opened on Nov 21, 2025

Velvet and Loom logos design

HardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of work

LoomThis issue is related to a general metatheory of LoomThis issue is related to a general metatheory of Loom

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#25 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025

Compose a Test suite for Velvet

HardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of work

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#24 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025

<code>loom_intro</code> tactic does not behave

HardThis is issue potentially needs a substantial amount of workThis is issue potentially needs a substantial amount of work

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#23 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025

Pretty printing for Velvet programs

MediumThis issue is not too complicatedThis issue is not too complicated

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#22 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025

Proof incrementality

MediumThis issue is not too complicatedThis issue is not too complicated

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#21 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025

Explicit naming of annotations

EasyThis issue should not take more than a couple of hours of workThis issue should not take more than a couple of hours of work

VelvetIssue related to VelvetIssue related to Velvet

Status: Open.

#19 In verse-lab/loom;

· volodeyka opened on Nov 9, 2025