OurBigBook
About
$
Donate
Sign in
Sign up
cirosantilli
/
lean
/
MathlibExamples
/
MathlibExamples.lean
by
Ciro Santilli
(
@cirosantilli,
40
)
lean/MathlibExamples/MathlibExamples.lean
import Mathlib.Data.Nat.Basic open Nat #eval lcm 6 8 #eval lcm 12 18
