Visualizing the network of math theories.

A formal verification of Linear PCP SNARKs.

The Math Algorithm

Riemann Hypothesis in Lean

C library to work with complex numbers.

A formalization of graded rings in Lean, corresponding to a CICM 2022 submission

mathib cpp version.

A dynamic library of math

Game Math Library - Student Project @ AIE

An interactive viewer for the mathlib import graph

Simple math project in C to practice using 'gcc', makefiles and libraries as an assignment in Systems Programming A @ Ariel University

Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica

Formalising non-commutative graph theory in Lean

CPP Math Library for Mathematical operations

A Python Library for Computing various Mathematical Functions and Constants

This repository contains a collection of mathematical exercises in Lean, covering topics like geometric series, binomial coefficients, and recursive functions. Ideal for learning formal proofs with Lean's theorem prover.

This repository holds exercises and solutions for the Lean for the Curious Mathematician 2023 (LftCM2023) workshop. Focused on formal mathematics with Lean 4, it provides a hands-on learning experience based on the "Mathematics in Lean" book. Updated in October 2024, it includes solutions and resources for exploring proofs and formal logic.

Reals defined using Quasi-Morphisms formalized in Lean

It is java math library. It will generate the questions and answer for the different math levels. The aim is to generate the open source library for the math learning purpose.