开源星图GITHUB / DISCOVERY
今日免费检索 3 次
OpenLogicProject / OpenLogic

OpenLogic

An open-source, customizable intermediate logic textbook

TeX★ 1.4k⑂ 289CC-BY-4.0创建于 2012-12-25最近提交 2026-08-14
中文介绍 · 自动生成

OpenLogic 是用 TeX 编写的开源项目,主题标签有限,建议打开仓库查看具体用途,主打可扩展、开源免费。

目前累计 1.4k star、289 fork,主要语言为 TeX,项目始于 2012 年,采用 CC-BY-4.0 许可。最近状态:近半年有提交。适合:正在做技术选型的开发者。

中文介绍优先采用本站人工维护条目;无维护条目时依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经项目方确认,不构成选型结论。
一句话解读

OpenLogicProject/OpenLogic 是一个以 TeX 为主的开源项目,目前累计 1.4k star、289 fork,近半年有提交。项目未标注主题标签。

依据 GitHub 公开字段(语言、主题、星标、提交时间)自动生成,未经人工逐项核实。
无主题标签

README

正在加载…

相关项目

★

Technical_Book_DL 是用 TeX 编写的学习资料,用于系统学习与查阅。

This note presents in a technical though hopefully pedagogical way the three most common forms of neural network architectures: Feedforward, Convolu…

TeX ★ 1.4k⑂ 102 7.1 年前更新
★

nsfc - 国家自然科学基金项目LaTeX模版(面地青CBA)

nsfc - 国家自然科学基金项目LaTeX模版(面地青CBA)

TeX ★ 1.4k⑂ 338 8 个月前更新