Skip to content
Snippets Groups Projects
Open `solve_typed` tactic
  • View options

    • `solve_typed` tactic

  • View options
    • Open Issue created by Dan Frumin

    Automate typing derivations.

    Edited by Dan Frumin
    • Merge request
    • Branch

    Linked items ... 0

    • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading