Visualizing the network of math theories.

• UpdatedJun 9, 2024
• Python

A formal verification of Linear PCP SNARKs.

• UpdatedJul 20, 2024
• Lean

The Math Algorithm

• UpdatedJun 14, 2023
• TypeScript

Riemann Hypothesis in Lean

• UpdatedMar 3, 2021
• Lean

C library to work with complex numbers.

• UpdatedJan 1, 2025
• C

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

• UpdatedSep 21, 2022
• Lean

mathib cpp version.

• UpdatedOct 10, 2023
• C++

A dynamic library of math

• UpdatedOct 9, 2023
• JavaScript

Game Math Library - Student Project @ AIE

• UpdatedFeb 24, 2016
• C++

An interactive viewer for the mathlib import graph

• UpdatedNov 4, 2022
• HTML

• UpdatedSep 9, 2024
• HTML

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

• UpdatedJan 31, 2024
• C

Formalising non-commutative graph theory in Lean

• UpdatedMar 20, 2024
• Lean

maths benchmark test (numerical position of moon)

• UpdatedJan 19, 2018
• C

Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica

• UpdatedMay 12, 2023
• Lean

A formalization of chip-firing games and the Riemann-Roch theorem for graphs using the Lean 4 theorem prover.

• UpdatedMar 17, 2025
• Lean

A Python Library for Computing various Mathematical Functions and Constants

• UpdatedMay 15, 2021
• Python

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.

• UpdatedOct 31, 2024
• Lean

CPP Math Library for Mathematical operations

• UpdatedFeb 20, 2023
• C++

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.

• UpdatedOct 26, 2024
• Lean