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

Rename module Math to Dafny.Math

8143845
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs