β
Back to Open Source
π GitHub Detail
F
alexprengere/FormalSystems
By alexprengere
A Python implementation of Douglas Hofstadter formal systems, from his book "GΓΆdel, Escher, Bach"
GitHub
Python
Apache License 2.0
Updated 24 May 2026
Live Snapshot
β
Stars
625
π΄
Forks
35
π
License
Apache License 2.0
π§©
Type
Python
π
About this open-source project
Live information fetched from GitHub.
A Python implementation of Douglas Hofstadter formal systems, from his book "GΓΆdel, Escher, Bach"
πΏ
Default Branch
master
π
Open Issues
3
π
Watchers
625