Search Results - RepositoryStats

39

480

unknown

7

Visualizing the network of math theories.

lean math mathlib visualization

Created 2024-05-29

5 commits to main branch, last one 5 months ago

10

48

mit

4

The Math Algorithm

c go cpp php haxe java math test csharp python mathlib python3 algorithm javascript statistics typescript

Created 2019-03-11

180 commits to master branch, last one about a year ago

4

48

mit

6

A formal verification of Linear PCP SNARKs.

lean snark mathlib

Created 2020-11-19

233 commits to master branch, last one 4 months ago