File tree

• stage0/stdlib
  • Init/Grind
    • Tactics.c
    • Util.c
  • Lean
    • Compiler/LCNF
      • ExtractClosed.c
      • Simp
        • SimpValue.c
    • CoreM.c
    • Elab/Tactic
      • Grind.c
    • Meta/Tactic/Grind
      • Arith
        • CommRing
          • Internalize.c
          • Reify.c
        • Cutsat
          • EqCnstr.c
      • EMatchTheorem.c