DoCon

MaRDI QIDQ38083swMATHFDO

Official website http://www.botik.ru/pub/local/Mechveliani/docon-A/2.02/manual.pdf

Source code repository https://github.com/athanclark/DoCon

Cited in

(4)

• computational-algebra
• ghc-typelits-presburger
• type-natural
• A purely functional computer algebra system embedded in Haskell

This page was built for software: DoCon