Formal systems and brain: discussions format
link to github src