Zulip Chat Archive
Stream: triage
Topic: PR #5975: feat(nat/digits): Natural basis representation ...
Random Issue Bot (Feb 21 2021 at 14:19):
Today I chose PR 5975 for discussion!
feat(nat/digits): Natural basis representation using list sum and map
Created by @Ryan Lahfa (@RaitoBezarius) on 2021-01-31
Labels: awaiting-author
Is this PR still relevant? Any recent updates? Anyone making progress?
Yakov Pechersky (Feb 21 2021 at 15:07):
Just pushed the easy fix, simp wasn't discharging an or goal even when the left branch was present in the simp set.
Random Issue Bot (Mar 06 2021 at 14:20):
Today I chose PR 5975 for discussion!
feat(nat/digits): Natural basis representation using list sum and map
Created by @Ryan Lahfa (@RaitoBezarius) on 2021-01-31
Labels: awaiting-author
Is this PR still relevant? Any recent updates? Anyone making progress?
Last updated: Dec 20 2023 at 11:08 UTC