7 packages found. Page 1 of 1.

Name Version Votes Popularity? Description Maintainer
adobe-source-han-super-otc 20190603-2 1 0.61 Source Han & Noto CJK Mega/Ultra OTCs ouuan
guide-bin 1.0.2-5 0 0.00 由北航 GAIT 研究组开发的、专门为 NOI 选手设计的轻型集成开发环境 ouuan
lean-community 3.21.0-1 2 0.98 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.36 This package contains leanproject, a supporting tool for Lean mathlib ouuan
uoj-data-converter 0.4.2-1 0 0.00 将各种各样格式的数据转换为 UOJ 的格式 ouuan
uoj-data-converter-git 0.4.2.r1.gcbfc1e6-1 0 0.00 将各种各样格式的数据转换为 UOJ 的格式 ouuan

7 packages found. Page 1 of 1.