Metamath Tests
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