Popular repositories Loading

1. dittert-conjecture-proof dittert-conjecture-proof Public

   Complete reproducible working-proof chain and exact verification materials for Dittert’s conjecture (all dimensions; under review)

   Python 1

2. nntools nntools Public

   Forked from craffel/nntools

   Adding recurrent layers to lasagne

   Python

3. docs docs Public

4. house-style house-style Public

   A pilot comparative behavioral study: do frontier LLMs have a house style? (GPT-5.5 vs Claude Opus 4.7/4.8)

   Python

5. FLT FLT Public

   Forked from ImperialCollegeLondon/FLT

   Ongoing Lean formalisation of the proof of Fermat's Last Theorem

   Lean