Skip to content
@optpku

OptPKU

Optimization group at Peking University

Popular repositories Loading

  1. ReasBook ReasBook Public

    ReasBook main branch mirror for self-hosted CI

    Lean 40 3

  2. CAM-Bench CAM-Bench Public

    CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean

    Lean 2 1

Repositories

Showing 2 of 2 repositories

Top languages

Loading…

Most used topics

Loading…