Skip to content

Rename module Math->MathLib, name conflicts with Java/C# Math class - #146

Open
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:rename-math-module
Open

Rename module Math->MathLib, name conflicts with Java/C# Math class#146
markrtuttle wants to merge 1 commit into
dafny-lang:masterfrom
markrtuttle:rename-math-module

Commits

Commits on Oct 10, 2023