rasheedja/PropaFP

Auto-active verification of floating-point programs.

语言：Haskell · GitHub 星标：8 · Fork：0

话题：floating-point · floating-point-arithmetic · formal-methods · formal-verification · haskell · library · math · mathematics

在 GitHub 上查看原仓库