topology
Topology framework
A programming language and framework for formal topology and probability in Coq.
Formal topology (and some probability) in Coq
32 stars
6 watching
8 forks
Language: Coq
last commit: almost 6 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
 xavierleroy/cdf-mech-sem | Development of formal semantics and verification tools for imperative languages and functional programming languages. | 64 |
| xavierleroy/cdf-sem-meca | This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant. | 21 |
 math-comp/multinomials | A Coq-based library for manipulating monomials and multivariate polynomials over ring structures | 14 |
 bloomberg/quantum | A framework for efficient concurrent execution of CPU-bound workloads using coroutines and parallelism | 580 |
 vladimirias/foundations | A mathematical library for a proof assistant that provides the foundation for univalent semantics | 53 |
| coq-community/semantics | A comprehensive survey of programming language semantics styles implemented in Coq | 45 |
 choukh/baby-set-theory | A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs | 43 |
 abstractsdk/abstract | A modular framework for building secure, composable, and interoperable on-chain applications | 62 |
 dunnl/tealeaves | A framework for abstract syntactical reasoning in Coq. | 23 |
 symjax/symjax | A symbolic programming library for machine learning and deep learning applications. | 120 |
 cosmicmind/graph | A semantic database framework for creating data-driven applications | 873 |
 dymmond/edgy | An ORM framework built on top of SQLAlchemy and Pydantic, aiming to simplify database interactions with a familiar interface. | 198 |
 dboulytchev/minikanren-coq | A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages | 26 |
 geocoq/geocoq | A formalization of geometry using the Coq proof assistant. | 186 |