GitHub repository: lean-forward/field
Primary language: Lean
Created: 2019-06-05T14:58:08Z
Description: a tactic to normalize field expressions