scratch
§
Lean4 Access Metam and so Forth
created 2023-05-19 · last edited 2023-05-31
#eval show Lean.MetaM _ from do
return 0
❦