ldct/formalising-mathematics-2024 Issues

星标: (0 个星标)
派生: (0 个派生)
已索引议题: (0 个已索引议题)
个开放新手议题: (0 个开放的新手议题)
最近索引: 2026年8月17日
最近 GitHub push: 2025年1月7日
许可证: Apache License 2.0
贡献指南: 没有贡献指南
行为准则: 没有行为准则
主要语言: Lean
PR 合并指标: (30 天内没有已合并 PR)
新手标签: 没有已索引的新手标签

议题

0 个开放索引议题

此仓库没有开放的已索引议题。