3 ms·
Standard Meta Language actually... for the origins of the name probably see the paper 'A metalanguage for interactive proof in LCF*'
by ratmice 5y ago
Standard Meta Language actually... for the origins of the name probably see the paper 'A metalanguage for interactive proof in LCF*'