Steps 0
Cost 0
0 edits
Legend

Learn

Program

Hardware program

Source circuit

Architecture

export

Write a programme

Evaluation

Study notes · 05_ladder_2x72index
7.6 ms (jones) / 8.1 ms (transport) · 1.6 ions per transport instruction · buildable · R10 by the Lean checker
two rails joined by rungs
or open #step=N