Works
Von Neumann universal constructor
—monthly views
0copies owned
—player watchlists
Works
Von Neumann universal constructor
Self-replicating cellular automaton
rare · Q1766038
Related cards · mathematical software
See all 149
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists