https://github.com/leanprover/radar-bench-mathlib4
Radar benchmarking for mathlib4
https://github.com/leanprover/radar-bench-mathlib4
Last synced: 15 days ago
JSON representation
Radar benchmarking for mathlib4
- Host: GitHub
- URL: https://github.com/leanprover/radar-bench-mathlib4
- Owner: leanprover
- Created: 2025-11-12T18:49:19.000Z (7 months ago)
- Default Branch: master
- Last Pushed: 2026-01-08T17:30:54.000Z (5 months ago)
- Last Synced: 2026-01-21T13:12:46.221Z (4 months ago)
- Language: Python
- Size: 28.3 KB
- Stars: 1
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files: