Skip to content
  • Dan Frumin's avatar
    Tactic for solving typeability · eba7639e
    Dan Frumin authored
    - Change the types in the examples slightly
    - Use notations in the examples
    - Modify some tactics to make the proofs more smooth
    eba7639e