Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for mathematics coq library
coq-library
x
mathematics
x
2 search results found
Unimath
⭐
888
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
Math Classes
⭐
157
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Related Searches
Javascript Mathematics (1,108)
Mathematics Algebra (360)
Mathematics Coq (19)
Mathematics Theorem Proving (10)
Mathematics Monoid (7)
Ocaml Coq Library (4)
Coq Library Separation Logic (3)
1-2 of 2 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.