home.social
Sign in Create account

#discr_tree_key — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #discr_tree_key, aggregated by home.social.

  1. ​ @[email protected] ·

    #eval #check #synth #guard #guard_expr #exit #print #[ #v[ #reduce #check_tactic #check_tactic_failure #check_simp #discr_tree_key #discr_tree_simp_key #widget

    (All the #commands in Lean that I could find by running rg '^syntax .* "#')

    #eval #check #synth #guard #guard_expr #exit
  2. ​ @[email protected] ·

    #eval #check #synth #guard #guard_expr #exit #print #[ #v[ #reduce #check_tactic #check_tactic_failure #check_simp #discr_tree_key #discr_tree_simp_key #widget

    (All the #commands in Lean that I could find by running rg '^syntax .* "#')

    #eval #check #synth #guard #guard_expr #exit
  3. ​ @[email protected] ·

    #eval #check #synth #guard #guard_expr #exit #print #[ #v[ #reduce #check_tactic #check_tactic_failure #check_simp #discr_tree_key #discr_tree_simp_key #widget

    (All the #commands in Lean that I could find by running rg '^syntax .* "#')

    #eval #check #synth #guard #guard_expr #exit
  4. ​ @[email protected] ·

    #eval #check #synth #guard #guard_expr #exit #print #[ #v[ #reduce #check_tactic #check_tactic_failure #check_simp #discr_tree_key #discr_tree_simp_key #widget

    (All the #commands in Lean that I could find by running rg '^syntax .* "#')

    #commands #widget #discr_tree_simp_key #discr_tree_key #check_simp #check_tactic_failure