Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/b8a31ed10eeabaca678ab303ec3f4d7d5a817841/./src/Lean/Meta
tree: 042c3663ac1da3ffa8306cec28aa607fabd208c5 [search]
  1. Match/
  2. Tactic/
  3. AbstractMVars.lean
  4. AbstractNestedProofs.lean
  5. ACLt.lean
  6. AppBuilder.lean
  7. Basic.lean
  8. CasesOn.lean
  9. Check.lean
  10. Closure.lean
  11. Coe.lean
  12. CollectFVars.lean
  13. CollectMVars.lean
  14. CongrTheorems.lean
  15. Constructions.lean
  16. DecLevel.lean
  17. DiscrTree.lean
  18. DiscrTreeTypes.lean
  19. Eqns.lean
  20. Eval.lean
  21. ExprDefEq.lean
  22. ExprLens.lean
  23. ExprTraverse.lean
  24. ForEachExpr.lean
  25. FunInfo.lean
  26. GeneralizeTelescope.lean
  27. GeneralizeVars.lean
  28. GetConst.lean
  29. GlobalInstances.lean
  30. IndPredBelow.lean
  31. Inductive.lean
  32. InferType.lean
  33. Injective.lean
  34. Instances.lean
  35. KAbstract.lean
  36. KExprMap.lean
  37. LevelDefEq.lean
  38. Match.lean
  39. MatchUtil.lean
  40. Offset.lean
  41. PPGoal.lean
  42. RecursorInfo.lean
  43. Reduce.lean
  44. ReduceEval.lean
  45. SizeOf.lean
  46. Structure.lean
  47. SynthInstance.lean
  48. Tactic.lean
  49. Transform.lean
  50. TransparencyMode.lean
  51. UnificationHint.lean
  52. WHNF.lean