https://github.com/Vilin97/lean-eval-honeycomb-connective-constant
Score: -Infinity
Last synced: about 18 hours ago
JSON representation
Repository metadata:
Lean proof of the honeycomb connective constant for lean-eval
- Host: GitHub
- URL: https://github.com/Vilin97/lean-eval-honeycomb-connective-constant
- Owner: Vilin97
- Created: 2026-08-03T19:31:49.000Z (16 days ago)
- Default Branch: codex/honeycomb-connective-constant
- Last Pushed: 2026-08-05T20:29:06.000Z (14 days ago)
- Last Synced: 2026-08-05T20:57:53.085Z (14 days ago)
- Language: Lean
- Size: 2.8 MB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Owner metadata:
- Name: Vasily Ilin
- Login: Vilin97
- Email:
- Kind: user
- Description: Math & CS
- Website: https://vilin97.github.io/
- Location: Seattle
- Twitter:
- Company: University of Washington
- Icon url: https://avatars.githubusercontent.com/u/17322558?u=d6bcd463911e9bf8cb251b5ed9c4a1ba2b24f5bf&v=4
- Repositories: 7
- Last Synced at: 2023-03-08T08:30:36.861Z
- Profile URL: https://github.com/Vilin97
GitHub Events
Total
- Push event: 4
- Total: 4
Last Year
- Push event: 4
- Total: 4
Committers metadata
Last synced: 2 days ago
Issue and Pull Request metadata
Last synced: 4 days ago