The top documents tagged [gradual formalization]