Skip to content

add "run on Lean4 Playground" button #15

add "run on Lean4 Playground" button

add "run on Lean4 Playground" button #15