alexprengere/FormalSystems

alexprengere/FormalSystems has 627 GitHub stars and 35 forks. Star changes are not measured yet. Last checked 2026-11-14 13:38 UTC. Last push 2021-03-25.

这些数字如何统计

627 星标 35 复刻

实测星标增长

24小时: 正在收集历史
7天: 正在收集历史
15天: 正在收集历史
1个月: 正在收集历史

各周期内的星标净变化，周期相互重叠，并非每日新增。缺失的测量保持空白。星标代表关注度，不代表软件质量。

关于

A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"

开发工具

README.md

原文

在 GitHub 阅读 README