Awesome

MathLib

MathLib PKG DAC 2023 release

Dir structure

Running Examples

TBD

Articles

https://asfigo.blogspot.com/2023/06/mathlib-introduction.html

https://asfigo.blogspot.com/2023/06/using-mathlib-in-artificial.html

https://asfigo.blogspot.com/2023/06/mathlib-computing-modulo-on-real.html