Data

Tools

Indexes

Applications

Experiments

Open Source Science

Updated 11 months ago

senior-thesis • Rank 0.7 • Science 31%

LaTeX sources for my undergraduate thesis

Updated 10 months ago

https://github.com/ata-keskin/eudoxus-reals • Science 26%

An unusual construction of the real numbers using Isabelle/HOL

Updated 11 months ago

martingales • Science 57%

A Formalization of Martingales using Isabelle/HOL

Updated 11 months ago

leanmillenniumprizeproblems • Science 44%

Formalization of the Millennium Problems in Lean4.