#guard_expr — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #guard_expr, aggregated by home.social.
-
#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 .* "#')