dmavani25/chip-firing-with-lean

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

Language: Lean - Size: 170 KB - Last synced at: 24 days ago - Pushed at: 24 days ago - Stars: 1 - Forks: 0

eric-wieser/mathlib-import-graph

An interactive viewer for the mathlib import graph

Language: HTML - Size: 118 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 3 - Forks: 4

ntlean/divided_powers

Formalization of divided powers in Lean 4

Language: Lean - Size: 56.6 KB - Last synced at: about 1 month ago - Pushed at: about 1 month ago - Stars: 0 - Forks: 0

Crispher/MathlibExplorer

Visualizing the network of math theories.

Language: Python - Size: 7.11 MB - Last synced at: about 2 months ago - Pushed at: 11 months ago - Stars: 506 - Forks: 42

bhgomes/lean-riemann-hypothesis

Riemann Hypothesis in Lean

Language: Lean - Size: 1.77 MB - Last synced at: about 1 month ago - Pushed at: about 4 years ago - Stars: 40 - Forks: 7

anic17/complex

C library to work with complex numbers.

Language: C - Size: 50.8 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 12 - Forks: 1

oliversoeser/PPS-Lean

Formalising the results of Proofs and Problem Solving (MATH08059)

Language: Lean - Size: 9.77 KB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

thisis-Shitanshu/lean_exercises

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.

Language: Lean - Size: 3.91 KB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

metinersin/FormalTextbookModelTheory

Language: HTML - Size: 869 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 0

jopadan/idlib_math

idtech2/3 C++26 SIMD math library

Language: C++ - Size: 30.3 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 0 - Forks: 0

BoltonBailey/formal-snarks-project

A formal verification of Linear PCP SNARKs.

Language: Lean - Size: 471 KB - Last synced at: 9 months ago - Pushed at: 9 months ago - Stars: 44 - Forks: 1

jingyuexing/MathLib

The Math Algorithm

Language: TypeScript - Size: 324 KB - Last synced at: 6 months ago - Pushed at: almost 2 years ago - Stars: 48 - Forks: 10

themathqueen/monlib

Formalising non-commutative graph theory in Lean

Language: Lean - Size: 90.5 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

sumantchopdata/intro_to_automated_proof_checking

A semester project for an introduction to interactive theorem proving using LEAN4 language and Mathlib library

Language: Lean - Size: 33.2 KB - Last synced at: about 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

SamuraiPolix/systemsProgrammingAEx1

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

Language: C - Size: 1.24 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

eric-wieser/lean-graded-rings

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

Language: Lean - Size: 171 KB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 0

MarufHasan24/mathlib-cpp

mathib cpp version.

Language: C++ - Size: 211 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 6 - Forks: 6

MarufHasan24/mathlib

A dynamic library of math

Language: JavaScript - Size: 6.77 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 4 - Forks: 4

marco-secci/mathlib

mathlib aims at making math easier for Zig programmers, adding new functions and improving others already built-in.

Language: Zig - Size: 24.4 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

eric-wieser/divf-2022

CUED division F conference presentation

Language: HTML - Size: 400 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

oxarbitrage/salsa20

Attempt to formalize salsa20 in lean

Language: Lean - Size: 212 KB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

petnica-rac-seminari/interaktivno_dokazivanje_teorema_2023

Materijali za radionicu interaktivnog dokazivanje teorema @ IS Petnica

Language: Lean - Size: 9.77 KB - Last synced at: over 1 year ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 5

XyonX/CoreMathLibrary

CPP Math Library for Mathematical operations

Language: C++ - Size: 6.84 KB - Last synced at: almost 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

terrehbyte/terrehbyte-math-library 📦

Game Math Library - Student Project @ AIE

Language: C++ - Size: 1.13 MB - Last synced at: 4 days ago - Pushed at: about 9 years ago - Stars: 2 - Forks: 1

Karthik-Dulam/reals-quasi-morphisms

Reals defined using Quasi-Morphisms formalized in Lean

Language: Lean - Size: 203 KB - Last synced at: 9 months ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

DarkHawk727/MathLib

A Python Library for Computing various Mathematical Functions and Constants

Language: Python - Size: 366 KB - Last synced at: about 2 years ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

paulrho/mthtest2

maths benchmark test (numerical position of moon)

Language: C - Size: 83 KB - Last synced at: about 2 years ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0