Popular repositories Loading

1. BrainOrganoidComputer-FutureAndApplication BrainOrganoidComputer-FutureAndApplication Public

   1

2. jacobian-conjecture-counterexample-lean jacobian-conjecture-counterexample-lean Public

   A Lean 4 and Mathlib formalization of Levent Alpöge’s explicit three-dimensional counterexample to the Jacobian conjecture.

   Lean 1

3. BrainOrganoidComputingMapping BrainOrganoidComputingMapping Public

   Brain organoid computing team mapping

4. formal-conjectures formal-conjectures Public

   Forked from google-deepmind/formal-conjectures

   A collection of formalized statements of conjectures in Lean.

   Lean

5. lean-ramsey-lower-bound-checker lean-ramsey-lower-bound-checker Public

   Lean verification of witness graphs for Ramsey lower bounds

   Lean

6. erdos-1187-lean erdos-1187-lean Public

   Lean 4 formalization project for Erdős Problems #1187.

   Lean