Mode In Lean
Tactic mode¶. anywhere an expression is expected, lean will accept a sequence of instructions bracketed by the keywords begin and end. Devop...
Home » Mode In Lean
Showing posts with label Mode In Lean. Show all posts
Showing posts with label Mode In Lean. Show all posts
Subscribe to:
Posts (Atom)