Rename module Math->MathLib, name conflicts with Java/C# Math class#146
Open
markrtuttle wants to merge 1 commit intodafny-lang:masterfrom
Open
Rename module Math->MathLib, name conflicts with Java/C# Math class#146markrtuttle wants to merge 1 commit intodafny-lang:masterfrom
markrtuttle wants to merge 1 commit intodafny-lang:masterfrom
Commits
Commits on Oct 10, 2023
- committed
Mark R. Tuttle