topology
by bmsherman
Formal topology (and some probability) in Coq
AI summary
Topology framework
A programming language and framework for formal topology and probability in Coq.
- stars
- 32
- forks
- 8
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Formal semantics tools
Development of formal semantics and verification tools for imperative languages and functional programming languages.
Programming language semantics toolkit
This project provides a development environment and software tools for formalizing the semantics of programming languages in the Coq proof assistant.
Polynomial algebra library
A library providing a monomial algebra framework for polynomials over ring structures.
Coroutine framework
A framework for efficient concurrent execution of CPU-bound workloads using coroutines and parallelism
Mathematical framework
A mathematical library for a proof assistant that provides the foundation for univalent semantics
Semantics study
A comprehensive survey of programming language semantics styles implemented in Coq
Math proof framework
A Coq-based tutorial on set theory and theorem-proving using formalized mathematical proofs
Application framework
A modular framework for building secure, composable, and interoperable on-chain applications
Syntax framework
A framework for abstract syntactical reasoning in Coq.
ML framework
A symbolic programming library for machine learning and deep learning applications.
Database framework
A semantic database framework for creating data-driven applications
dymmond/edgy213
ORM framework
An ORM framework built on top of SQLAlchemy and Pydantic, aiming to simplify database interactions with a familiar interface.
Relational programming semantics
A certified semantics for relational programming language specification, providing verified implementations of syntax and semantics for miniKanren languages
Geometry library
A formalization of geometry using the Coq proof assistant.
