不闲聊的技术论坛 逻辑学版块。在 discussions 交流。 论坛规则和其他版块见 tech-talks 主页。
本版块话题：逻辑编程，Prolog，逻辑证明，推理
generated from just-talks/haskell
-
Notifications
You must be signed in to change notification settings - Fork 0
just-talks/logic
About
不闲聊的技术论坛 逻辑学版块
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published