https://github.com/leanprover/radar-bench-lean4
Radar benchmarking for lean4
https://github.com/leanprover/radar-bench-lean4
Last synced: about 2 months ago
JSON representation
Radar benchmarking for lean4
- Host: GitHub
- URL: https://github.com/leanprover/radar-bench-lean4
- Owner: leanprover
- Created: 2025-09-22T12:07:21.000Z (8 months ago)
- Default Branch: master
- Last Pushed: 2026-03-13T19:14:11.000Z (3 months ago)
- Last Synced: 2026-03-14T07:41:55.784Z (3 months ago)
- Language: Python
- Homepage:
- Size: 354 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files: