Zulip Chat Archive

Stream: triage

Topic: PR #5975: feat(nat/digits): Natural basis representation ...


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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: May 09 2021 at 16:20 UTC