Google Git Google Git
Sign in
fuchsia/third_party/github.com/leanprover/lean4/refs/heads/upstream/sofia/fix-task-sync-deadlock/./tests/elabissues
tree: eda1cd8d98ecb72c46a3990c33b24dd1e90d66da [search]
  1. anonymous_constructor_error_msg.lean
  2. bind_with_existential_types.lean
  3. equation_compiler_slow_with_many_constructors.lean
  4. equation_compiler_slow_with_many_constructors2.lean
  5. error_aux_decl_exists.lean
  6. ImplicitLambdas.lean
  7. invalid_field_notation_error_msg.lean
  8. issues1.lean
  9. issues2.lean
  10. issues3.lean
  11. issues4.lean
  12. issues5.lean
  13. issues6.lean
  14. issues7.lean
  15. issues8.lean
  16. leaky_tmp_metavars.lean
  17. leaky_tmp_metavars2.lean
  18. let_destruct_inside_forall.lean
  19. namespace_vs_prefix.lean
  20. nested_namespace_vs_prefix.lean
  21. overload_with_list_coercion.lean
  22. patternIssue.lean
  23. private.lean
  24. ProjNotation.lean
  25. reduceNatWithMeta.lean
  26. Reid1.lean
  27. structInst.lean
  28. structure_same_names2.lean
  29. typeclass_nested_validate.lean
  30. typeclass_triggers_typeclass.lean
  31. typeclasses_with_emetavariables.lean
  32. typeclasses_with_preconditions.lean
  33. typeclasses_with_umetavariables.lean
  34. variable_universe_bug.lean
  35. vars.lean
  36. zmod.lean