Lib.rs
›
用户
#
proof
#
lean
#
proving
#
theorem-prover
digama0
马里奥·卡内罗
3年前加入crates-io。13年前加入GitHub。
GitHub
crates.io
主页 (github.io)
维护者仪表板
GitHub组织成员
leanprover-community
与以下用户共享包
imbrem
digama0创建了7个包
metamath-rs
自2024年4月起为唯一所有者。上次更新3个月前。
dae-parser
自2021年10月起为唯一所有者。上次更新一年前。
minidom-14
自2023年3月起为唯一所有者。上次更新一年前。
mm0b_parser
自2021年4月起为唯一所有者。上次更新2年前。
mm0_util
自2021年4月起为唯一所有者。上次更新2年前。
mm0_deepsize
自2021年4月起为唯一所有者。上次更新3年前。
mm0_deepsize_derive
自2021年4月起为唯一所有者。上次更新3年前。
共同拥有1个包
lean-sys
1.6
K
自2023年9月起成为成员（10个月）