Visualizing the network of math theories.
-
Updated
Jun 9, 2024 - Python
GeezerVisonThe World Wide Web, restored to 800 pixels of glory. |
| Home|About|Gaming cabinet|Archives|How it works|Starter sites |
GeezerVison is showing github.com — Build software better, together
#
mathlibHere are 803 public repositories matching this topic...Language: All
Filter by language
Sort: Most stars
Sort options
Fast linear algebra and math library for the Hitachi SuperH4 Processor (used by the Sega Dreamcast).
math optimization assembly linear-algebra dreamcast sega simd quaternion matrices vectorization vectors superh hitachi naomi renesas simd-intrinsics sh4 mathlib memcpy sega-dreamcast
The Lean Financial Mathematics Library
theorem-proving formal-methods option-pricing quantitative-finance formal-verification mathematical-finance black-scholes derivatives-pricing mathlib stochastic-calculus lean4 ito-calculus
Riemann Hypothesis in Lean
Tensor-network theory, formalized in Lean 4: the fundamental theorem of matrix product states, canonical forms, parent Hamiltonians, matrix-product density operators, and projected entangled pair states, building on the QICLean quantum-information library
Distributed, objective-led control plane for Lean 4 formalization projects.
ai dashboard theorem-proving workspace orchestration multi-agent lean formalization blueprints agents codex claude mathlib lean4 llm autoformalization
The intent of this repository is to build a database of control theoretic proofs in lean.
OpenATP is an open-source Python package providing a common interface for Automated Theorem Proving (ATP)
A Lean 4 + Mathlib proof service for the agent working on your code
HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where possible
theorem-proving lean formal-verification olympiad ioi ai-agents mathlib imo ipho lean4 ibo icho putnambench
Lean formalization of the Atiyah–Singer index theorem
math algebraic-topology differential-geometry mathlib index-theory lean4 k-theory spin-geometry atiyah-singer-index-theorem
From Chirality to the Standard Model. Paper, LaTeX source, and an executable notebook with exact verification and Lean proofs.
reproducible-research jupyter-notebook formal-verification mathematical-physics e8 mathlib google-colab e6 lean4 lie-algebras
The open workbench for AI safety, made formal. Turn safety questions into machine-checked Lean proofs — a shared launchpad where researchers and AI agents build provable safety together.
theorem-proving proof-assistant alignment formal-methods formalization formal-verification ai-safety interactive-theorem-proving social-choice mathlib ai-alignment computability lean4 agent-foundations provable-safety
A small JSON format that records correspondences between mathematical documents, such as a book passage and a Lean declaration.
Lean4 lib for formalization and advancement of stat and algorithmic learning theory
C library to work with complex numbers.
Quantum information and channels, formalized in Lean 4: quantum states and entanglement theory, channel representations, Kadison-Schwarz theory, quantum Perron-Frobenius and spectral theory, GKSL semigroups, and entropy, following Wolf's Quantum Channels & Operations
Add this topic to your repoTo associate your repository with the mathlib topic, visit your repo's landing page and select "manage topics." |
| You are visitor 01402503 — GeezerVison does not store the pages you look up. Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required. |