Search results

latexmk fails with File 'proof.sty' not found: proof package missing from DEPENDS.txt

Status: Open.

#44 In objectionary/calculus-paper;

· morphqdd opened on Jul 3, 2026

mapping to Lambda calculus

enhancementNew feature or requestNew feature or request

help wantedExtra attention is neededExtra attention is needed

Status: Open.

#15 In objectionary/calculus-paper;

· yegor256 opened on Oct 17, 2025

Dependency Dashboard

wontfixThis will not be worked onThis will not be worked on

Status: Open.

#2 In objectionary/calculus-paper;

· renovate opened on Apr 9, 2024