analysis

Mathematical Components compliant Analysis Library

197 stars

18 watching

44 forks

Language: Coq

last commit: 11 days ago

Linked from 2 awesome lists

analysiscoqmathcompssreflect

Backlinks from these awesome lists: