开源序
GitHub 开源项目排行
返回榜单
O
OpenLogicProject /
OpenLogic
一本开源、可自定义的中间逻辑教材
仓库 Star
1,392
总榜 #33,048
Fork
292
最近推送
2 个月前更新
仓库创建
2012 年创建
应用与完整系统
通用
TeX
CC-BY-4.0 · 宽松，可直接商用
查看源码
收藏
加入对比
加入收藏夹
官网
用途与标签
介绍
README
项目原文 · GitHub
An open-source, customizable intermediate logic textbook
