6 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
guide-bin 1.0.2-5 0 0.00 由北航 GAIT 研究组开发的、专门为 NOI 选手设计的轻型集成开发环境 ouuan
lean-community 3.20.0-3 1 0.70 Lean Theorem Prover, maintained by the Lean community ouuan
noi-despised-git r39.99c788f-1 0 0.00 NOI 背笔试工具 ouuan
python-mathlibtools 0.0.10-2 1 0.70 This package contains leanproject, a supporting tool for Lean mathlib ouuan
uoj-data-converter 0.4.1-1 0 0.00 将各种各样格式的数据转换为 UOJ 的格式 ouuan
uoj-data-converter-git 0.4.1.r3.g44e190d-1 0 0.00 将各种各样格式的数据转换为 UOJ 的格式 ouuan

6 packages found. Page 1 of 1.