Skip to content

add "run on Lean4 Playground" button #38

add "run on Lean4 Playground" button

add "run on Lean4 Playground" button #38