1. Top
  2. miscelleaneous
  3. Files
  4. Main.lean
miscelleaneous

Random Lean experiments

  1. 1
  2. 2
  3. 3 
import Mathlib

#eval "hi"