metamath hmmverify smetamath checkmm mmj2 mmverifypy
basic 10/10 10/10 10/10 10/10 10/10 10/10
bigfiles 6/6 5/6 6/6 6/6 6/6 6/6
all tests 20/20 18/20 20/20 20/20 20/20 20/20