Search results

Tactic(s) for "freshness" of names

Status: Open.

#14 In mtoohey31/lott;

· mtoohey31 opened on Jul 24, 2025

Figure out how to fix dependency issues with lott-filter, make, and latexmk

Status: Open.

#13 In mtoohey31/lott;

· mtoohey31 opened on Jun 9, 2025

Document stuff

Status: Open.

#11 In mtoohey31/lott;

· mtoohey31 opened on Mar 13, 2025

Auto-generate lemmas

Status: Open.

#10 In mtoohey31/lott;

· mtoohey31 opened on Mar 12, 2025

Handle bound variables in parser

Status: Open.

#6 In mtoohey31/lott;

· mtoohey31 opened on Feb 20, 2025

Investigate slowness of nonterminal elaboration

Status: Open.

#4 In mtoohey31/lott;

· mtoohey31 opened on Oct 27, 2024

Generate symbol and judgement delaborators

Status: Open.

#2 In mtoohey31/lott;

· mtoohey31 opened on Oct 9, 2024