A new implementation of Automath

@inproceedings{ANI,
  title={A new implementation of Automath},
  author={}
}