![python logo](https://raw.githubusercontent.com/github/explore/80688e429a7d4ef2fca1e82350fe8e3517d3494d/topics/python/python.png)
🤔
Thinking about meta-thinking
Tall Human, Unusually Experienced. Making programming accessible to everyone @SplootCode.
-
SplootCode
- Sydney, Australia
- http://mattia.ink
- @MattiaFregola
Lists (3)
Sort Name ascending (A-Z)
Starred repositories
1
star
written in TLA
Clear filter
A collection of TLA⁺ specifications of varying complexities