Pinned Repositories
FedML
A Research-oriented Federated Learning Library. Supporting distributed computing, mobile/IoT on-device training, and standalone simulation. Best Paper Award at NeurIPS 2020 Federated Learning workshop. Join our Slack Community:(https://join.slack.com/t/fedml/shared_invite/zt-havwx1ee-a1xfOUrATNfc9DFqU~r34w)
MA
MA-1
这是关于数学分析第一章的Coq代码
MK
本文的所有例子均基于作者研究团队前期利用交互式定理证明工具 Coq, 首次实现的 Morse-Kelley 公理化集合论形式化系统，MK_Teaching examples文件夹中是教学过程中应用到的一些实例，MK_update文件夹中是最新简化的版本。
cywonder's Repositories
cywonder/FedML
A Research-oriented Federated Learning Library. Supporting distributed computing, mobile/IoT on-device training, and standalone simulation. Best Paper Award at NeurIPS 2020 Federated Learning workshop. Join our Slack Community:(https://join.slack.com/t/fedml/shared_invite/zt-havwx1ee-a1xfOUrATNfc9DFqU~r34w)
cywonder/MA
cywonder/MA-1
这是关于数学分析第一章的Coq代码
cywonder/MK
本文的所有例子均基于作者研究团队前期利用交互式定理证明工具 Coq, 首次实现的 Morse-Kelley 公理化集合论形式化系统，MK_Teaching examples文件夹中是教学过程中应用到的一些实例，MK_update文件夹中是最新简化的版本。