Skip to content

fix bug in typechecking named theorems that are not onestate #32

fix bug in typechecking named theorems that are not onestate

fix bug in typechecking named theorems that are not onestate #32