Skip to content

Add functional transcendentals + scalar-affine ops for scientific forward models#5

Open
NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:functional-elementwise-transcendentals
Open

Add functional transcendentals + scalar-affine ops for scientific forward models#5
NicolasRouquette wants to merge 2 commits into
lean-dojo:mainfrom
NicolasRouquette:functional-elementwise-transcendentals

Commits

Commits on Jun 18, 2026

Commits on Jun 22, 2026