miscelleaneous

Random Lean experiments

  1. 1
  2. 2
  3. 3
-- This module serves as the root of the `Leantest` library.
-- Import modules here that should be built as part of the library.
import Leantest.Basic