PR !4#12473: first translations

Stream: triage

[Random Issue Bot]

Today I chose PR 12473 for discussion!

first translations
Created by @damiano (@adomani) on 2024-04-27
Labels: merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Damiano Testa]

This is one of a series of experiment to automatically generate "repetitive lemmas", inspired by to_additive. I have a full (almost) translation between MonoidAlgebra and AddMonoidAlgebra and some less successful "order reversing" translations. Still very much work in progress.

[Random Issue Bot]

Today I chose PR 12473 for discussion!

first translations
Created by @damiano (@adomani) on 2024-04-27
Labels: merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Damiano Testa]

Not much has changed here.