loa

Virtual machine for the Logic of Assumptions
git clone git://juanmeleiro.mat.br/loa
Log | Files | Refs

2023-05-30-tentative-syntax.ebnf (278B)

      1 context = "[" , { assumption } , "]" ;
      2 assumption = name , context , term , proof ;
      3 proof = "{" , { name , proof } , "}" ;
      4 term = "(" , name , term , { term } , ")" | name ;
      5 name = namechar , { namechar } ;
      6 namechar = ? any character ? - ( "[" | "]" | "{" | "}" | "(" | ")" ) ;