The Nest
Explore
0
A verifier for the Metamath Zero proof language. 
strict provable sort GG;
term termG1 (p: GG): GG; 
term termG2 (p: GG): GG;