Skip to content
github pages

lean のコードブロックを lean4 web editor で開くためのボタンを表示する #62

Sign in to view logs

lean のコードブロックを lean4 web editor で開くためのボタンを表示する

lean のコードブロックを lean4 web editor で開くためのボタンを表示する #62

Triggered via push October 31, 2023 11:49
@SeasawherSeasawher
pushed 9f21ec9
main
Status Success
Total duration 21s
Artifacts –

deploy.yml

on: push
deploy
9s
deploy
Fit to window
Zoom out
Zoom in