Issues - cfr/prooftrees - Codeberg.org

cfr/prooftrees

New issue

if plug is unspecified, memoization does not always (?) abort

#5 opened 2026-03-01 05:06:43 +01:00 by cfr

mode to prefix doesn't work

#4 opened 2026-03-01 05:05:04 +01:00 by cfr

think about other tagging possibilities

#3 opened 2026-01-21 02:26:17 +01:00 by cfr