FormalConjectures/Arxiv/
272 declarations, 110 contain sorry, 0 declared as axioms; 37 files
Folders
- 0805.3777/ 1 files, 22 declarations
- 0911.2077/ 1 files, 1 declarations
- 0912.2382/ 1 files, 3 declarations
- 1102.4662/ 1 files, 11 declarations
- 1104.1579/ 1 files, 8 declarations
- 1308.0994/ 1 files, 13 declarations
- 1601.03081/ 1 files, 3 declarations
- 1609.08688/ 1 files, 33 declarations
- 2001.02665/ 1 files, 2 declarations
- 2104.00502/ 1 files, 6 declarations
- 2107.00295/ 1 files, 2 declarations
- 2107.12475/ 1 files, 2 declarations
- 2208.14736/ 1 files, 5 declarations
- 2209.04540/ 1 files, 7 declarations
- 2303.01089/ 1 files, 8 declarations
- 2402.13202/ 1 files, 3 declarations
- 2501.03234/ 1 files, 12 declarations
- 2504.17644/ 1 files, 3 declarations
- 2507.17780/ 4 files, 10 declarations
- 2602.05192/ 2 files, 11 declarations
- 2604.08040/ 1 files, 10 declarations
- 2605.02731/ 1 files, 7 declarations
- 2605.12342/ 1 files, 7 declarations
- 2606.03696/ 1 files, 6 declarations
- 2607.03582/ 1 files, 9 declarations
- 2607.05349/ 1 files, 10 declarations
- 2607.05739/ 1 files, 19 declarations
- 2607.06396/ 1 files, 6 declarations
- 2607.08366/ 1 files, 9 declarations
- math.0110202/ 1 files, 3 declarations
- math.0301027/ 1 files, 7 declarations
- math.0608009/ 1 files, 11 declarations
- math.0703548/ 1 files, 3 declarations