Popular repositories Loading

1. balanced-vectors-blueprint balanced-vectors-blueprint Public

   Lean Blueprint for technical lemma on maxima and minimal of certain log-concave functions

   Lean 2

2. TheDarkEye TheDarkEye Public

   Forked from Haffi112/TheDarkEye

   Adventure logs and a collection of info documents to keep track of our adventure!

3. Test-Funktionentheorie Test-Funktionentheorie Public

   Forked from cschiess/Test-Funktionentheorie

4. awesome-ai-for-math awesome-ai-for-math Public

   Forked from seewoo5/awesome-ai-for-math

   List of awesome works that use AI for mathematical discoveries.

5. graph-property-atlas graph-property-atlas Public

   A machine-verified atlas of Boolean graph properties. For n properties, we classify which of the 2^n combinations can occur: realized cells have SageMath witness graphs, impossible cells have Lean …

   Python