Popular repositories Loading

1. plectis-erdos plectis-erdos Public

   Mathematical research and the system behind it: eight Erdős problem programmes, Lean proofs, papers on research and writing, experiments and open questions. An independent, AI-assisted prototype by…

   Lean 5

2. plectis plectis Public

   Plectis: Lean research on Erdős problems. Read it at wcook04.github.io/plectis. This repository holds the website source and the earlier Python toolkit; the Lean proofs are in wcook04/plectis-erdos.

   Python 3

3. microcosm-substrate microcosm-substrate Public archive

   Retired — moved to Plectis (https://github.com/wcook04/plectis). Historical compatibility label only; not a source of current code.

   2

4. plectis-erdos-lean plectis-erdos-lean Public

   Lean 4 source and selected Comparator/Palomar checks for eight Erdős problem programmes. Current claims and papers: wcook04/plectis-erdos.

   Lean 1 1

5. wcook04.github.io wcook04.github.io Public

   Root page for wcook04.github.io — front door, host-root favicon and site name, host-root robots.txt.

   HTML

6. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean