the-last-math-competition--the-last-math-competition
author corpus · status selected · in licence review · not in the hub registry yet
Not installable yet
This corpus is a candidate: it is not in the hub registry until its licence review passes, so
This corpus is a candidate: it is not in the hub registry until its licence review passes, so
xerj corpus add and xerj ask cannot fetch it. The corpus is each whole repository at its pinned commit.Selected work (1)
| repository | contributor | selected commit | licence |
|---|---|---|---|
| The-Last-Math-Competition/The-Last-Math-Competition | @GodBlf | 127812a91b Disprove conjectures 1255 and 1457 with verified Lean projects | GPL-3.0 |
People behind this corpus
Contributors (1)
People whose work this corpus selects or pins, each with their permission.
